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