Sig.With_Forward_Backward
include With_Memory_Binary_Boolean_Forward_Backward
include With_Memory_Forward_Backward
type boolean = Quadrivalent.t
include With_Memory_Forward
with type boolean := boolean
and type binary := binary
and type memory := memory
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_Memory_Backward
with type boolean := boolean
and type binary := binary
and type memory := memory
module Memory_Backward :
Transfer_functions.Memory_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
and type binary := binary
and type memory := memory
include With_Binary_Boolean_Forward_Backward
with type boolean := boolean
and type binary := binary
include With_Binary_Forward_Backward
with type boolean := boolean
with type binary := binary
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_Binary_Backward
with type boolean := boolean
and type binary := binary
module Binary_Backward :
Transfer_functions.Binary_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
and type binary := binary
include With_Boolean_Forward_Backward with type boolean := boolean
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
include With_Boolean_Backward with type boolean := boolean
module Boolean_Backward :
Transfer_functions.Boolean_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean