Builtins.Intrinsics_intf
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) : sig ... end