Module `Memory_domains.Convert`

Context conversion procedures: pass through the values by just changing the context.

module Convert_Memory_Forward
  (C : Sig.Convert_Contexts)
  (D : Memory_sig.WITH_MEMORY_FORWARD with module Context = C.To) : 
  sig ... end

module Convert_to_monadic (D : Memory_sig.Base) : sig ... end

Module Memory_domains.Convert