epilog/
lib.rs

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