Module refinement_resolver 

Modules

errors 🔒

Structs

IllegalBinderVisitor 🔒

ImplicitParamCollector 🔒

ParamDef 🔒

ParamRes 🔒

Parameters used during gathering.

RefinementResolver 🔒

Scope 🔒

ScopedVisitorWrapper 🔒

Enums

ScopeKind 🔒

Traits

ScopedVisitor 🔒

Type Aliases

Result 🔒