Struct IRSessionStep 

pub struct IRSessionStep {
    pub node_type: &'static str,
    pub source_line: u32,
    pub source_column: u32,
    pub op: String,
    pub message_type: String,
    pub branches: Vec<IRSessionBranch>,
    pub binder: String,
    pub resumable: bool,
}

One operation in a compiled session protocol (send / receive / loop / end / select / branch — v2.3.0 adds the choices).

Fields

node_type: &'static str

source_line: u32

source_column: u32

op: String

message_type: String

branches: Vec<IRSessionBranch>

v2.3.0 — labelled branches (only for op == "select" | "branch"; v2.36.0 reuses them for op == "interrupt": body + handler arms).

binder: String

v2.36.0 — op == "interrupt" only: the handler’s signal binder (... as <sig> ...). Skip-if-empty ⇒ zero IR-SHA drift for every non-interrupt step (the v2.33.0/v2.34.0 additive-only discipline).

resumable: bool

v2.36.0 — op == "interrupt" only: the block declares a resumable handler. Skip-if-false ⇒ byte-identical IR for every other op.

Trait Implementations

impl Clone for IRSessionStep

fn clone(&self) -> IRSessionStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IRSessionStep

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

Formats the value using the given formatter.

impl Serialize for IRSessionStep

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.