Module type Sig.Boolean_Conversions

type boolean
val convert_to_quadrivalent : boolean -> Quadrivalent.t