1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
#![cfg_attr(test, feature(try_trait))] pub mod ast; pub mod quant; pub mod sub; pub mod unify; pub mod uresult; pub mod var; #[cfg(test)] mod tests; mod prelude_internal { pub use crate::uresult::prelude::*; pub use std::{cmp::Eq, hash::Hash}; } pub mod prelude { pub use crate::{ sub::SubWith, unify::Unify, uresult::prelude::*, var::{FreeVars, FreshVars}, }; }