1 2 3 4 5 6 7
//! HM type system: scalar unification + arity synthesis. pub mod infer; pub mod ty; pub mod unify; pub use ty::{Scalar, Scheme, Subst, Type, TypeVarId};