crisp-typeck 1.7.2

//! HM-style type inference and constraint solving (spec §3.4).

mod display;
mod env;
mod infer;
mod types;
mod unify;

pub use display::{format_sig, format_ty};
pub use infer::{TypeChecker, TypeError, TypedCrate, rust_import_returns_result};
pub use types::{InferredSig, Ty, is_arith_bound, rust_op_bound};