Monadic.MonadicSMemory
module type S = sig ... end
module Lift (MSM : S) : Engine.SMemory.S with type t = MSM.t and type err_t = MSM.err_t and type init_data = MSM.init_data