Sig.With_Memory_Binary_Integer_Boolean_Forward
include 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
include With_Binary_Forward
with type boolean := boolean
and type binary := binary
module Binary_Forward :
Transfer_functions.Binary_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
and type binary := binary
include With_Integer_Forward with type boolean := boolean
module Integer_Forward :
Transfer_functions.Integer_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
and type integer := integer
include With_Boolean_Forward with type boolean := boolean
module Boolean_Forward :
Transfer_functions.Boolean_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
val truth_value : boolean -> Quadrivalent.t