Struct cairo_lang_sierra_generator::pre_sierra::PushValue

pub struct PushValue {
    pub var: VarId,
    pub var_on_stack: VarId,
    pub ty: ConcreteTypeId,
    pub dup: bool,
}

Represents a single element that should be pushed onto the stack as part of Statement::PushValues.

Fields

var: VarId

The variable id to push.

var_on_stack: VarId

The variable id on the stack (e.g., the result of store_temp()).

ty: ConcreteTypeId

The type of the variable.

dup: bool

Indicates whether the variable should be duplicated before it is pushed.

Trait Implementations

impl Clone for PushValue

fn clone(&self) -> PushValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PushValue

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

Formats the value using the given formatter.

impl PartialEq<PushValue> for PushValue

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for PushValue

impl StructuralEq for PushValue

impl StructuralPartialEq for PushValue