Enum Var

pub enum Var {
    Underscore,
    Global(GlobalVar, Option<Symbol>),
    Local(LocalVar),
    DataCtor(AdtId, VariantIdx),
    TupleCtor {
        arity: usize,
    },
    TupleProj {
        arity: usize,
        field: u32,
    },
    UIFRel(BinRel),
    Itf(ThyFunc),
    Param(EarlyReftParam),
    ConstGeneric(ParamConst),
}

Variants

Underscore

Global(GlobalVar, Option<Symbol>)

Local(LocalVar)

DataCtor(AdtId, VariantIdx)

TupleCtor

Fields

arity: usize

TupleProj

Fields

arity: usize

field: u32

UIFRel(BinRel)

Itf(ThyFunc)

Interpreted theory function. This can be an arbitrary string, thus we are assuming the name is different than the display implementation for the other variants.

Param(EarlyReftParam)

ConstGeneric(ParamConst)

Trait Implementations

impl Clone for Var

fn clone(&self) -> Var

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<GlobalVar> for Var

fn from(v: GlobalVar) -> Self

Converts to this type from the input type.

impl From<LocalVar> for Var

fn from(v: LocalVar) -> Self

Converts to this type from the input type.

impl Hash for Var

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Identifier for Var

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

fn display(&self) -> impl Display

Returns a type that implements fmt::Display using this Identifier::fmt implementation.

impl Copy for Var