relmath/core/mod.rs
1//! Core relation types and algorithms.
2
3mod binary;
4mod nary;
5mod unary;
6
7/// Finite binary relation type.
8pub use binary::BinaryRelation;
9/// Deterministic exact grouping of an n-ary relation.
10pub use nary::GroupedRelation;
11/// Deterministic exact n-ary relation with a named schema.
12pub use nary::NaryRelation;
13/// Errors returned by n-ary relation validation and schema-aware operations.
14pub use nary::NaryRelationError;
15/// Finite unary relation type.
16pub use unary::UnaryRelation;