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