Module 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