1 2 3 4 5 6 7 8
pub(crate) use exhaustive_pattern_match::*; pub use path::*; /// Type checking on lowered `(ExprId, ExprArena, TypeTable)`; see [`checker::type_check`]. pub(crate) mod checker; mod exhaustive_pattern_match; mod path; mod unresolved_types;