1 2 3 4 5 6 7 8
//! Common imports for relation-first programming. /// Finite binary relation type. pub use crate::core::BinaryRelation; /// Finite unary relation type. pub use crate::core::UnaryRelation; /// Shared trait for finite relations. pub use crate::traits::FiniteRelation;