Type Alias TypeDbVar

Source
pub type TypeDbVar = DeBruijnVar<TypeVarId>;

Aliased Type§

enum TypeDbVar {
    Bound(DeBruijnId, TypeVarId),
    Free(TypeVarId),
}

Variants§

§

Bound(DeBruijnId, TypeVarId)

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

§

Free(TypeVarId)

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.

Trait Implementations§

Source§

impl<C: AstFormatter> FmtWithCtx<C> for TypeDbVar

Source§

fn fmt_with_ctx(&self, ctx: &C, f: &mut Formatter<'_>) -> Result

Source§

fn with_ctx<'a>(&'a self, ctx: &'a C) -> WithCtx<'a, C, Self>

Returns a struct that implements Display. This allows the following: Read more
Source§

fn to_string_with_ctx(&self, ctx: &C) -> String