Module type Domain_sig.With_Memory

module Context : Context
type boolean
type binary
type memory
val serialize_memory : Context.t -> memory -> Context.t -> memory -> 'a Context.in_acc -> (memory, 'a) Context.result
val memory_pretty : Context.t -> Stdlib.Format.formatter -> memory -> unit
include With_Memory_Forward with module Context := Context and type memory := memory and type binary := binary and type boolean := boolean