Module type Sig.With_Binary_Boolean_Forward_Backward

include With_Binary_Forward_Backward
type boolean = Quadrivalent.t
type binary
include With_Boolean_Forward_Backward with type boolean := boolean