relmath/lib.rs
1#![forbid(unsafe_code)]
2#![deny(missing_docs)]
3#![doc = include_str!("../README.md")]
4
5/// Core unary and binary relation types.
6pub mod core;
7/// Prelude with the most commonly used imports.
8pub mod prelude;
9/// Traits shared by relation types.
10pub mod traits;
11
12/// Finite binary relation type.
13pub use crate::core::BinaryRelation;
14/// Finite unary relation type.
15pub use crate::core::UnaryRelation;
16/// Shared trait for finite relations.
17pub use crate::traits::FiniteRelation;