/// DreamStack Type System — Hindley-Milner with signal-awareness and effect types.
pub mod checker;
pub mod types;
pub mod errors;

pub use checker::TypeChecker;
pub use types::{Type, TypeVar, SignalType, EffectType, Predicate, PredicateExpr};
pub use errors::{TypeError, TypeErrorKind};
