Mapper (transformers.States.Mapper)

module type NameMap = sig ... end

val subst : (string * string) list -> string -> string

val unsubst : (string * string) list -> string -> string

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