Builtins.Std
Builtins, for functions we stub manually, either because the originals suffer from poor performance, or are not properly computable in our engine.
module M (StateM : State.StateM.S) : sig ... end