States.MList
module DR = Gillian.Monadic.Delayed_result
module ExpMap = MyUtils.ExpMap
module Make (S : MyMonadicSMemory.S) : MyMonadicSMemory.S with type t = S.t ExpMap.t * Gillian.Gil_syntax.Expr.t option