Struct leo_ast::input::program_state::public_state::state::State [−][src]
pub struct State { /* fields omitted */ }
Expand description
An input section declared in an input file with [$name]
.
Implementations
Returns an empty version of this struct with None
values.
Called during constraint synthesis to provide private input variables.
Returns true
if the main function contains the $name
variable.
Parses register input definitions and stores them in self
.
This function is called if the main function input contains the $name
variable.
Trait Implementations
Auto Trait Implementations
impl !RefUnwindSafe for State
impl UnwindSafe for State
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more