Finite Partial Orders

This crate provides a trait and datatypes for representing finite partial orders. See the API documentation for more information.

lib.rs:

[FinPartOrd] is a trait for representing finite partial orders.