Struct air_ir::PublicInput

pub struct PublicInput {
    pub span: SourceSpan,
    pub name: Identifier,
    pub 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.

Fields

span: SourceSpan

name: Identifier

size: usize

Implementations

impl PublicInput

pub fn new(span: SourceSpan, name: Identifier, size: u64) -> PublicInput

Trait Implementations

impl Clone for PublicInput

fn clone(&self) -> PublicInput

Returns a copy 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<(), Error>

Formats the value using the given formatter.

impl PartialEq<PublicInput> for PublicInput

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

This method tests for self and other values to be equal, and is used by ==.

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

This method 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