Expand description
FinPartOrd is a trait for representing finite partial orders.
Structs§
- Antisymmetry
Error - Pair
Part Ord - A datatype for representing finite partial orders.
Traits§
- FinPart
Ord - Laws:
FinPartOrd is a trait for representing finite partial orders.