Module vars

Type-level variables. There are 4 kinds of variables at the type-level: regions, types, const generics and trait clauses. The relevant definitions are in this module.

Structs

• ConstGenericVar
  A const generic variable in a signature or binder.
• ConstGenericVarId
• DeBruijnId
  The index of a binder, counting from the innermost. See DeBruijnVar for details.
• RegionId
• RegionVar
  A region variable in a signature or binder.
• TraitClause
  A trait predicate in a signature, of the form Type: Trait<Args>. This functions like a variable binder, to which variables of the form TraitRefKind::Clause can refer to.
• TraitClauseId
• TypeVar
  A type variable in a signature or binder.
• TypeVarId

Enums

• DeBruijnVar
  Type-level variable.

Type Aliases

• ClauseDbVar
• ConstGenericDbVar
• RegionDbVar
• TypeDbVar