Trait FromWitness 

trait FromWitness<F, T>
where
    F: PrimeField,
{
    // Required method
    fn new_from_env(&self, env: &ArgumentEnv<F, T>) -> T;
}

Required Methods

fn new_from_env(&self, env: &ArgumentEnv<F, T>) -> T

Implementors

impl<F, T> FromWitness<F, T> for Variable<Column>

where F: PrimeField, T: ExprOps<F, BerkeleyChallengeTerm>,