Module sortck 

Structs

FullResolver 🔒

ImplicitParamInferer 🔒

Before the main sort inference, we do a first traversal checking all implicitly scoped parameters declared with @ or # and infer their sort based on the type they are indexing, e.g., if n was declared as i32[@n], we infer int for n.

InferCtxt 🔒

NodeMap 🔒

Map to associate data to a node (i.e., an expression).

OpportunisticResolver 🔒

ShallowResolver 🔒

Functions

prim_op_sort

Type Aliases

Result 🔒