Module States.Logger

module Make (S : MyMonadicSMemory.S) : MyMonadicSMemory.S with type t = S.t