Sig.With_Memory_Forward
type boolean = Quadrivalent.t
module Memory_Forward :
Transfer_functions.Memory_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
and type binary := binary
and type memory := memory