States.Product
module Containers = Gillian.Utils.Containers
module Make (IDs : MyUtils.IDs) (S1 : MyMonadicSMemory.S) (S2 : MyMonadicSMemory.S) : MyMonadicSMemory.S with type t = S1.t * S2.t