Skip to main content

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;
8
9pub use display::{format_sig, format_ty};
10pub use infer::{TypeChecker, TypeError, TypedCrate, rust_import_returns_result};
11pub use types::{InferredSig, Ty, is_arith_bound, rust_op_bound};