Meet_Semilattice.V
val associativity : MS.t -> MS.t -> MS.t -> bool
val commutativity : MS.t -> MS.t -> bool
val idempotency : MS.t -> bool