1 2 3 4 5 6
//! Shared traits for relation types. mod finite_relation; /// Shared trait for finite relations. pub use finite_relation::FiniteRelation;