Struct BlockResult 

pub struct BlockResult {
    pub stmts: Vec<Stmt>,
    pub out_stack: Vec<Expr>,
    pub term: Term,
}

Fields

stmts: Vec<Stmt>

Statements produced by this block, in order, covering everything up to (not including) the terminator.

out_stack: Vec<Expr>

Value-machine leftovers at block exit — for a stack machine, the operand stack; for a register machine, normally empty. Only the front-end’s own merge handling consumes this.

term: Term

Trait Implementations

impl Clone for BlockResult

fn clone(&self) -> BlockResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockResult

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

Formats the value using the given formatter.