fin-part-ord 0.1.0

Datatype for finite partial orders
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
//! [FinPartOrd] is a trait for representing finite partial orders.

#[cfg(feature = "dag")]
mod dag;
#[cfg(feature = "dag")]
pub use dag::*;

#[cfg(feature = "pairs")]
mod pairs;
#[cfg(feature = "pairs")]
pub use pairs::*;

mod r#trait;
pub use r#trait::*;