JoinSemilattice
lattice
JoinSemilatticeFunctions
lattice
join
Priority
GenBool
Heyting
JoinSemilattice
JoinSemilatticeFunctions
MinMaxLattice
joinPartialOrder
JoinSemilattice
joinSemilattice
BoundedJoinSemilattice
JoinSemilattice