Struct ActionBody 

pub struct ActionBody {
    pub requires: Vec<Expr>,
    pub effect: Option<Expr>,
    pub span: Span,
}

Action body with requires and effects.

Fields

requires: Vec<Expr>

Guard conditions (require expr).

effect: Option<Expr>

Effect expression (state transition relation).

span: Span

Trait Implementations

impl Clone for ActionBody

fn clone(&self) -> ActionBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ActionBody

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

Formats the value using the given formatter.