charon_lib::ast::types

Module vars

source
Expand description

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§

  • BindingStack
    A stack of values corresponding to nested binders. Each binder introduces an entry in this stack, with the entry as index 0 being the innermost binder. This is indexed by DeBruijnIds. Most methods assume that the stack is non-empty and panic if not.
  • 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
  • TraitTypeConstraintId
  • TypeVar
    A type variable in a signature or binder.
  • TypeVarId

Enums§

Type Aliases§