Domain_sig.With_Memory_Forward
type boolean
type binary
type memory
module Context : Context
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