Builtins.Miri
Miri-related intrinsics.
See https://github.com/rust-lang/miri/blob/master/tests/utils/miri_extern.rs
module M (StateM : State.StateM.S) : sig ... end