Convert_Memory_Forward.D
module Context = C.To
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