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