Type Alias ConstGenericDbVar

pub type ConstGenericDbVar = DeBruijnVar<ConstGenericVarId>;

Aliased Type

enum ConstGenericDbVar {
    Bound(DeBruijnId, ConstGenericVarId),
    Free(ConstGenericVarId),
}

Variants

Bound(DeBruijnId, ConstGenericVarId)

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

Free(ConstGenericVarId)

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.