Module `Verify.Meet_Semilattice`

Parameters

M : Interface.MEET_SEMILATTICE

Signature

include sig ... end

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