Module type Sig.Boolean_Basis

val name : string
include With_Boolean_Forward_Backward
type boolean = Quadrivalent.t
include Boolean_Conversions with type boolean := boolean
val convert_to_quadrivalent : boolean -> Quadrivalent.t