Module Compare.Meet_Semilattice

Parameters

• M : Interface.MEET_SEMILATTICE
• E : Interface.EQ with type t = M.t

Signature

val associativity : M.t -> M.t -> M.t -> bool

val commutativity : M.t -> M.t -> bool

val idempotency : M.t -> bool