JetArbitrary

SpireArbitrary

joinSemilattice

LatticeLaws

joinSemilatticePartialOrder

LatticePartialOrderLaws