Module type Sig.With_Boolean_Forward_Backward

type boolean = Quadrivalent.t
include With_Boolean_Forward with type boolean := boolean
val truth_value : boolean -> Quadrivalent.t
include With_Boolean_Backward with type boolean := boolean