lex_types/lib.rs
1//! M3: type system, effect system. See spec §6, §7.
2
3#![allow(clippy::result_large_err)]
4
5pub mod types;
6pub mod unifier;
7pub mod env;
8pub mod error;
9pub mod builtins;
10pub mod checker;
11pub mod discharge;
12
13pub use checker::{check_and_rewrite_program, check_program, ProgramTypes};
14pub use error::TypeError;
15pub use types::{EffectSet, Prim, Scheme, Ty, TyVarId};