Module cl_typeck::type_resolver

Performs step 2 of type checking: Evaluating type definitions

Traits

• TypeResolvable
  Resolves a given node

Functions

• resolve
  Evaluate a single ID