Module prelude 

Prelude with the most commonly used imports. Common imports for relation-first programming.

Re-exports

pub use crate::core::BinaryRelation;

pub use crate::core::FiniteCarrier;

pub use crate::core::GroupedRelation;

pub use crate::core::NaryRelation;

pub use crate::core::UnaryRelation;

pub use crate::traits::ExactSupport;

pub use crate::traits::FiniteRelation;

pub use crate::traits::RelationView;

pub use crate::traits::ToExactBinaryRelation;

pub use crate::traits::ToExactNaryRelation;

pub use crate::traits::ToExactUnaryRelation;