charon_lib::ast::types::vars

Type Alias ClauseDbVar

source 
pub type ClauseDbVar = DeBruijnVar<TraitClauseId>;

Aliased Type§

enum ClauseDbVar {
    Bound(DeBruijnId, TraitClauseId),
    Free(TraitClauseId),
}

Variants§

§

Bound(DeBruijnId, TraitClauseId)

A variable attached to the nth binder, counting from the innermost.

§

Free(TraitClauseId)

A variable attached to the outermost binder (the one on the item). As explained above, This is not used in charon internals, only as a micro-pass before exporting the crate data.