Module Compare.Join_Semilattice

Parameters

• J : Interface.JOIN_SEMILATTICE
• E : Interface.EQ with type t = J.t

Signature

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

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

val idempotency : J.t -> bool