Join_Semilattice.V
val associativity : JS.t -> JS.t -> JS.t -> bool
val commutativity : JS.t -> JS.t -> bool
val idempotency : JS.t -> bool