Struct ResolvedVar

pub struct ResolvedVar {
    pub name: String,
    pub sort: ArcSort,
    pub is_global_ref: bool,
}

Fields

name: String

sort: ArcSort

is_global_ref: bool

Is this a reference to a global variable? After the remove_globals pass, this should be false.

NB: we distinguish between a global reference and a global binding. The current implementation of Eq and Hash does not take this field into consideration. Overall, the definition of equality between two ResolvedVars is dicey.

Trait Implementations

impl Clone for ResolvedVar

fn clone(&self) -> ResolvedVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedVar

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

Formats the value using the given formatter.

impl Display for ResolvedVar

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

Formats the value using the given formatter.

impl Hash for ResolvedVar

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 PartialEq for ResolvedVar

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ResolvedVar