Enum Expression 

pub enum Expression {
    Boolean(bool),
    Var(String),
    LayerVar {
        layer: String,
        var: String,
    },
    PhaseQualifiedVar {
        phase: String,
        layer: String,
        var: String,
    },
    PhaseConstraint {
        phase: String,
        constraint: Box<Expression>,
    },
    CrossPhaseRelation {
        phase1: String,
        expr1: Box<Expression>,
        phase2: String,
        expr2: Box<Expression>,
        op: BinaryOp,
    },
    Int(i128),
    BinaryOp {
        left: Box<Expression>,
        op: BinaryOp,
        right: Box<Expression>,
    },
    Logical {
        left: Box<Expression>,
        op: LogicalOp,
        right: Box<Expression>,
    },
    Not(Box<Expression>),
    FunctionCall {
        name: String,
        args: Vec<Expression>,
    },
    Tuple(Vec<Expression>),
}

An expression tree representing invariant conditions.

Variants

Boolean(bool)

Boolean literal.

Var(String)

Variable reference.

LayerVar

Layer-qualified variable reference (e.g., bundler::nonce).

Fields

layer: String

Layer name (bundler, account, paymaster, protocol, entrypoint).

var: String

Variable name within the layer.

PhaseQualifiedVar

Phase-qualified variable reference (e.g., validation::account::balance). Checks state at a specific execution phase (validation, execution, settlement).

Fields

phase: String

Execution phase: “validation”, “execution”, or “settlement”.

layer: String

Layer name within that phase.

var: String

Variable name within the layer.

PhaseConstraint

Phase constraint: ensures a condition holds during a specific phase. Example: ensure account::balance >= min_required during validation phase.

Fields

phase: String

Phase to enforce the constraint in.

constraint: Box<Expression>

The constraint expression to hold in this phase.

CrossPhaseRelation

Cross-phase relation: relates variable values across two phases. Example: validation::account::balance >= execution::account::balance used to track state changes across phases.

Fields

phase1: String

First phase.

expr1: Box<Expression>

First phase expression.

phase2: String

Second phase.

expr2: Box<Expression>

Second phase expression.

op: BinaryOp

Relation operator.

Int(i128)

Integer constant.

BinaryOp

Comparison: left op right.

Fields

left: Box<Expression>

Left operand.

op: BinaryOp

Operator: ==, !=, <, >, <=, >=.

right: Box<Expression>

Right operand.

Logical

Logical operation: &&, ||.

Fields

left: Box<Expression>

Left operand.

op: LogicalOp

Operator: And, Or.

right: Box<Expression>

Right operand.

Not(Box<Expression>)

Logical negation.

FunctionCall

Function call.

Fields

name: String

Function name.

args: Vec<Expression>

Arguments.

Tuple(Vec<Expression>)

Tuple of expressions.

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expression

fn deserialize<__D>( __deserializer: __D, ) -> Result<Expression, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Expression

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

Formats the value using the given formatter.

impl PartialEq for Expression

fn eq(&self, other: &Expression) -> 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 Serialize for Expression

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Expression

impl StructuralPartialEq for Expression