Module type Sig.With_Boolean_Forward

type boolean = Quadrivalent.t
val truth_value : boolean -> Quadrivalent.t