Builtins.Alloc
Builtins related to the default allocator.
See https://doc.rust-lang.org/src/alloc/alloc.rs.html
module M (StateM : State.StateM.S) : sig ... end