Struct SessionDefinition 

pub struct SessionDefinition {
    pub name: String,
    pub roles: Vec<SessionRole>,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

session Name { role1: [step, …] role2: [step, …] }

A binary session type — exactly two roles whose protocols MUST be pairwise Honda-Vasconcelos dual. Duality is verified by the type checker; non-dual programs are rejected at compile time.

Fields

name: String

roles: Vec<SessionRole>

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia attached to this declaration (comments preceding the declaration’s first token, since the previous declaration or file start). Empty by default.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia (same line as the declaration’s last effective token). Empty by default.

Trait Implementations

impl Debug for SessionDefinition

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

Formats the value using the given formatter.

impl Default for SessionDefinition

fn default() -> SessionDefinition

Returns the “default value” for a type.