karpal_schubert_types/lib.rs
1//! Schubert intersection type system for the Industrial Algebra ecosystem.
2//!
3//! `karpal-schubert-types` (Phase 14) wraps `amari-enumerative`'s Schubert
4//! calculus as type-level markers for use in Karpal's proof and verification
5//! infrastructure.
6
7pub mod intersection;
8pub mod schubert_proven;
9pub mod schubert_type;
10pub mod schubert_typed;
11pub mod verification;
12
13pub use intersection::{Intersection, IntersectionKind, check_intersection};
14pub use schubert_proven::{SchubertProven, compose_checks};
15pub use schubert_type::SchubertType;
16pub use schubert_typed::SchubertTyped;
17pub use verification::{schubert_bundle, verify_schubert};