p3_air

Trait AirBuilderWithPublicValues

Source 
pub trait AirBuilderWithPublicValues: AirBuilder {
    type PublicVar: Into<Self::Expr> + Copy;

    // Required method
    fn public_values(&self) -> &[Self::PublicVar];
}
Expand description

Extension trait for AirBuilder providing access to public values.

Required Associated Types§

Source

type PublicVar: Into<Self::Expr> + Copy

Type representing a public variable.

Required Methods§

Source

fn public_values(&self) -> &[Self::PublicVar]

Return the list of public variables.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§