Skip to main content

relmath/core/
mod.rs

1//! Core relation types and algorithms.
2
3mod binary;
4mod unary;
5
6/// Finite binary relation type.
7pub use binary::BinaryRelation;
8/// Finite unary relation type.
9pub use unary::UnaryRelation;