Struct SessionStep 

pub struct SessionStep {
    pub op: String,
    pub message_type: String,
    pub branches: Vec<SessionBranch>,
    pub binder: String,
    pub resumable: bool,
    pub loc: Loc,
}

One step in a session protocol.

§Fase 4: send T | receive T | loop | end. §Fase 41.b adds choice: select { ℓ: [..], … } (⊕ — this role chooses) and branch { ℓ: [..], … } (& — this role offers); for those ops the labelled continuations live in SessionStep::branches (a nested sub-protocol per label).

Fields

op: String

message_type: String

branches: Vec<SessionBranch>

§Fase 41.b — populated only for op == "select" | "branch": the labelled branches, each a nested step sequence (its own sub-protocol).

§Fase 79.b — reused for op == "interrupt": exactly two labelled arms, body (the interruptible region) and handler (runs on the signal). The handler may end in a resume step (back to body) or reach end (the abandon exit) — see the paper §3.5 two-exit construct.

binder: String

§Fase 79.b — op == "interrupt" only: the handler’s signal binder from ... as <sig> .... Empty for every other op. The handler references the received CallInterruptCause value under this name.

resumable: bool

§Fase 79.b — op == "interrupt" only: true when the block declares a resumable { … } handler (the v1 surface always does). Default false keeps every non-interrupt step byte-identical in the IR (skip-if-false).

loc: Loc

Trait Implementations

impl Clone for SessionStep

fn clone(&self) -> SessionStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SessionStep

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

Formats the value using the given formatter.

impl Default for SessionStep

fn default() -> SessionStep

Returns the “default value” for a type.