Builtins.Core
Core operations, that may be used in several parts of the interpreter, so we share them here for convenience.
module M (StateM : State.StateM.S) : sig ... end