Module type Sig.With_Memory_Binary_Boolean_Backward

include With_Memory_Backward
type boolean = Quadrivalent.t
type binary
type memory
include With_Binary_Backward with type boolean := boolean and type binary := binary
include With_Boolean_Backward with type boolean := boolean