Enum TypeVarConstruct

pub enum TypeVarConstruct {
    Var,
    BindPattern,
    Wildcard(u32),
    Term(TermId),
    Bool(bool),
    Const(i128),
    Let(Vec<String>),
    And,
}

Variants

Var

BindPattern

Wildcard(u32)

Term(TermId)

Bool(bool)

Const(i128)

Let(Vec<String>)

And

Trait Implementations

impl Clone for TypeVarConstruct

fn clone(&self) -> TypeVarConstruct

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeVarConstruct

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

Formats the value using the given formatter.