Enum ModuleType

pub enum ModuleType {
    Root,
    Library,
}

Variants

Root

Only one root module may be defined in an AirScript program, using def.

The root module has no restrictions on what sections it can contain, and in a sense “provides” restricted sections to other modules in the program, e.g. random values and the trace columns.

Library

Any number of library modules are permitted in an AirScript program, using module.

Library modules are restricted from declaring the following sections:

• public_inputs
• random_values
• trace_columns
• boundary_constraints
• integrity_constraints

However, they are allowed to define constants, functions, and the periodic_columns section.

Trait Implementations

impl Clone for ModuleType

fn clone(&self) -> ModuleType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleType

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

Formats the value using the given formatter.

impl PartialEq for ModuleType

fn eq(&self, other: &ModuleType) -> 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 Copy for ModuleType

impl Eq for ModuleType

impl StructuralPartialEq for ModuleType