Module Join_Semilattice.V
val associativity : Bool.Join_Semilattice.t -> Bool.Join_Semilattice.t -> Bool.Join_Semilattice.t -> boolval commutativity : Bool.Join_Semilattice.t -> Bool.Join_Semilattice.t -> boolval idempotency : Bool.Join_Semilattice.t -> bool