Module types

Enums

• Type

Functions

• check_node_equations
  Query: Type-checks all equations of a given node
• declared_type_of_ident
  Resolves the declared type of an ident using a NameResolveQuery from crate::name_resolution
• type_check_expression
• type_of_ast_type