rustre_
core
0.1.0
Module types
Module Items
Enums
Functions
In crate rustre_
core
rustre_core
Module
types
Copy item path
Source
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