Struct Modifies 

pub struct Modifies {
    pub state: Ident,
    pub cond: Option<Ident>,
}

State modification clause.

Fields

state: Ident

cond: Option<Ident>

Trait Implementations

impl Clone for Modifies

fn clone(&self) -> Modifies

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Modifies

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

Formats the value using the given formatter.

impl Eq for Modifies

impl PartialEq for Modifies

fn eq(&self, other: &Modifies) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Modifies

impl ToSExpr for Modifies

fn to_sexpr(&self) -> SExpr

Convert the given value to an S-expression.