Enum PublicInput 

pub enum PublicInput {
    Vector {
        span: SourceSpan,
        name: Identifier,
        size: usize,
    },
    Table {
        span: SourceSpan,
        name: Identifier,
        size: usize,
    },
}

Declaration of a public input for an AirScript program.

This declaration is only permitted in the root module.

Public inputs are represented by a named identifier which is used to identify a fixed size array of length size.

Variants

Vector

Fields

span: SourceSpan

name: Identifier

size: usize

Table

Fields

span: SourceSpan

name: Identifier

size: usize

Implementations

impl PublicInput

pub fn new_vector(span: SourceSpan, name: Identifier, size: u64) -> Self

pub fn new_table(span: SourceSpan, name: Identifier, size: u64) -> Self

pub fn name(&self) -> Identifier

pub fn size(&self) -> usize

Trait Implementations

impl Clone for PublicInput

fn clone(&self) -> PublicInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PublicInput

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

Formats the value using the given formatter.

impl PartialEq for PublicInput

fn eq(&self, other: &Self) -> 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 PublicInput

fn span(&self) -> SourceSpan

impl Eq for PublicInput