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