Module types 

Structs

Assumption

SymPerm

SymPlace

SymTy

Variance

Enums

AssumptionKind

SymGenericKind

SymGenericTerm

Value of a generic parameter

SymPermKind

SymPlaceKind

SymTyKind

SymTyName

Traits

AnonymousPermSymbol 🔒

Applicable

AssertKind

Assert that self has the appropriate kind to produce an R value. Implemented by e.g. SymGenericTerm to permit downcasting to SymTy.

HasKind

Test if self can be said to have the given kind (i.e., is it a type? a permission?).