Module `Verify.Join_Semilattice`

Parameters

J : Interface.JOIN_SEMILATTICE

Signature

include sig ... end

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