Function var_evaluate

Source
fn var_evaluate<F: FieldWitness>(
    v: &Variable,
    evals: &ProofEvaluations<PointEvaluations<F>>,
) -> Result<F, ExprError>