Builtins.Intrinsics
This file was generated with scripts/intrinsics.py -- do not edit it manually, instead modify the script and re-run it.
scripts/intrinsics.py
module M (StateM : State.StateM.S) : Intrinsics_intf.M(StateM).S