Module type Sig.BOOLEAN

val name : string

include WITH_BOOLEAN_FORWARD_BACKWARD

type boolean = Quadrivalent.t

include WITH_BOOLEAN_FORWARD with type boolean := boolean

module Boolean_Forward : Operator.BOOLEAN_FORWARD with module Arity := Operator.Forward_Arity and type boolean := boolean

include WITH_BOOLEAN_BACKWARD with type boolean := boolean

module Boolean_Backward : Operator.BOOLEAN_BACKWARD with module Arity := Operator.Backward_Arity and type boolean := boolean

module Boolean_Lattice : BOOLEAN_LATTICE with type t = boolean