Struct StateField 

pub struct StateField<'a> {
    pub name: Symbol,
    pub ty: Option<&'a TypeExpr<'a>>,
    pub init: &'a Expr<'a>,
    pub derived: bool,
    pub span: Span,
}

Let x be <init>. or Let x always be <expr>. (derived) in a State: section.

Fields

name: Symbol

ty: Option<&'a TypeExpr<'a>>

init: &'a Expr<'a>

derived: bool

span: Span

Trait Implementations

impl<'a> Clone for StateField<'a>

fn clone(&self) -> StateField<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for StateField<'a>

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

Formats the value using the given formatter.