fin-part-ord 0.1.0

Datatype for finite partial orders
Documentation

Finite Partial Orders

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