Enum FreeTyvar 

pub enum FreeTyvar {
    U(u32, u32),
    E(u32, u32),
}

To make certain substitutions easier, free type variables are divided into Universal and Existential variables. Each is represented by a pair of indices: the first index is an index into Ctx::parents(), specifying parent context has the variable definition in it, and the second is an index into that context’s Ctx::uvars or Ctx::evars.

Variants

U(u32, u32)

E(u32, u32)

Trait Implementations

impl Clone for FreeTyvar

fn clone(&self) -> FreeTyvar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FreeTyvar

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

Formats the value using the given formatter.