Module sortck

Structs

FullResolver 🔒

ImplicitParamInferer 🔒

Before the main sort inference, we do a first traversal checking all implicitly scoped parameters declared wih @ 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 🔒

OpportunisticResolver 🔒

ShallowResolver 🔒

Type Aliases

Result 🔒