sp1_recursion_circuit_v2::challenger

Trait CanObserveVariable

Source 
pub trait CanObserveVariable<C: Config, V> {
    // Required method
    fn observe(&mut self, builder: &mut Builder<C>, value: V);

    // Provided method
    fn observe_slice(
        &mut self,
        builder: &mut Builder<C>,
        values: impl IntoIterator<Item = V>,
    ) { ... }
}
Expand description

Reference: p3_challenger::CanObserve.

Required Methods§

Source

fn observe(&mut self, builder: &mut Builder<C>, value: V)

Provided Methods§

Source

fn observe_slice( &mut self, builder: &mut Builder<C>, values: impl IntoIterator<Item = V>, )

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§