Skip to main content

rill_lang/types/
mod.rs

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