Module type Sig.With_Boolean_Backward

type boolean = Quadrivalent.t