Up – Index » soteria-rust » Soteria_rust_lib » Builtins » Intrinsics_intf » M

Module `Intrinsics_intf.M`

Parameters
Signature

Parameters

module StateM : State.StateM.S

Signature

module type Impl = sig ... end

module type S = sig ... end