Module type Sig.With_Memory_Binary_Integer_Boolean_Forward

include With_Memory_Forward
type boolean = Quadrivalent.t
type binary
type memory
include With_Binary_Forward with type boolean := boolean and type binary := binary
include With_Integer_Forward with type boolean := boolean
type integer
include With_Boolean_Forward with type boolean := boolean
val truth_value : boolean -> Quadrivalent.t