Enum Decl 

pub enum Decl {
    Use(UseDecl),
    Const(ConstDecl),
    Var(VarDecl),
    Type(TypeDecl),
    Func(FuncDecl),
    Init(InitDecl),
    Action(ActionDecl),
    Invariant(InvariantDecl),
    Property(PropertyDecl),
    Fairness(FairnessDecl),
}

A top-level declaration.

Variants

Use(UseDecl)

use ModuleName

Const(ConstDecl)

const NAME: Type

Var(VarDecl)

var NAME: Type

Type(TypeDecl)

type NAME = Type

Func(FuncDecl)

func NAME(params) { expr }

Init(InitDecl)

init { ... }

Action(ActionDecl)

action NAME(...) { ... }

Invariant(InvariantDecl)

invariant NAME { ... }

Property(PropertyDecl)

property NAME { ... }

Fairness(FairnessDecl)

fairness { ... }

Implementations

impl Decl

pub fn span(&self) -> Span

Trait Implementations

impl Clone for Decl

fn clone(&self) -> Decl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Decl

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

Formats the value using the given formatter.