Enum Declaration 

pub enum Declaration {
    Import(Span<Import>),
    Buses(Span<Vec<Bus>>),
    Constant(Constant),
    EvaluatorFunction(EvaluatorFunction),
    Function(Function),
    PeriodicColumns(Span<Vec<PeriodicColumn>>),
    PublicInputs(Span<Vec<PublicInput>>),
    Trace(Span<Vec<TraceSegment>>),
    BoundaryConstraints(Span<Vec<Statement>>),
    IntegrityConstraints(Span<Vec<Statement>>),
}

Represents all of the top-level items permitted at module scope.

Variants

Import(Span<Import>)

Import one or more items from the specified AirScript module to the current module

Buses(Span<Vec<Bus>>)

A Bus section declaration

Constant(Constant)

A constant value declaration

EvaluatorFunction(EvaluatorFunction)

An evaluator function definition

Evaluator functions can be defined in any module of the program

Function(Function)

A pure function definition

Pure functions can be defined in any module of the program

PeriodicColumns(Span<Vec<PeriodicColumn>>)

A periodic_columns section declaration

This may appear any number of times in the program, and may be declared in any module.

PublicInputs(Span<Vec<PublicInput>>)

A public_inputs section declaration

There may only be one of these in the entire program, and it must appear in the root AirScript module, i.e. in a module declared with def

Trace(Span<Vec<TraceSegment>>)

A trace_bindings section declaration

There may only be one of these in the entire program, and it must appear in the root AirScript module, i.e. in a module declared with def

BoundaryConstraints(Span<Vec<Statement>>)

A boundary_constraints section declaration

There may only be one of these in the entire program, and it must appear in the root AirScript module, i.e. in a module declared with def

IntegrityConstraints(Span<Vec<Statement>>)

A integrity_constraints section declaration

There may only be one of these in the entire program, and it must appear in the root AirScript module, i.e. in a module declared with def

Trait Implementations

impl Debug for Declaration

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

Formats the value using the given formatter.

impl PartialEq for Declaration

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Spanned for Declaration

fn span(&self) -> SourceSpan

impl Eq for Declaration

impl StructuralPartialEq for Declaration