Builtins.Soteria_lib
Builtins for Soteria Rust; provide the building blocks necessary for symbolic execution!
module M (StateM : State.StateM.S) : sig ... end