Domain_sig.With_Memory
val serialize_memory :
Context.t ->
memory ->
Context.t ->
memory ->
'a Context.in_acc ->
(memory, 'a) Context.result
include With_Memory_Forward
with module Context := Context
and type memory := memory
and type binary := binary
and type boolean := boolean
module Memory_Forward :
Transfer_functions.Memory_Forward
with module Arity := Context_Arity_Forward(Context)
and type boolean := boolean
and type binary := binary
and type memory := memory