Enum Tyvar 

pub enum Tyvar {
    Bound(u32),
    Free(FreeTyvar),
}

We explicitly distinguish between bound type variables, which are can only only present on types that are themselves inside a QualifiedInstance or Component, and free type variables that are used while constructing or deconstructing such a type in a Ctx.

Variants

Bound(u32)

A bound type variable as a de Bruijn index (0 is the innermost binder)

Free(FreeTyvar)

A free type variable, whose bounds/other information are stored in the context

Trait Implementations

impl Clone for Tyvar

fn clone(&self) -> Tyvar

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Tyvar

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

Formats the value using the given formatter.