specl_types/lib.rs
1//! Type system and type checker for Specl.
2
3pub mod checker;
4pub mod env;
5pub mod error;
6pub mod types;
7
8pub use checker::{check_module, TypeChecker};
9pub use env::{ActionSig, TypeEnv};
10pub use error::{TypeError, TypeResult};
11pub use types::{RecordType, Substitution, Type, TypeVar, TypeVarGen};