crisp_typeck/lib.rs
1//! HM-style type inference and constraint solving (spec §3.4).
2
3mod display;
4mod env;
5mod infer;
6mod types;
7mod unify;
8mod warning;
9
10pub use display::{format_sig, format_ty};
11pub use infer::{
12 NumericCoercion, RustExternSig, TypeChecker, TypeError, TypedCrate, rust_import_returns_result,
13};
14pub use types::{InferredSig, Ty, is_arith_bound, rust_op_bound, subst_named};
15pub use warning::TypeWarning;