Band
algebra
Bool
lattice
BoolFunctions
lattice
BoundedJoinSemilattice
lattice
BoundedLattice
lattice
BoundedLatticeFunctions
lattice
BoundedMeetSemilattice
lattice
BoundedSemilattice
algebra
bimap
Priority
by
Eq
Order
PartialOrder