Type Definition snarkvm_polycommit::Evaluations

type Evaluations<'a, F> = BTreeMap<(String, F), F>;

Evaluations is the result of querying a set of labeled polynomials or equations p at a QuerySet Q. It maps each element of Q to the resulting evaluation. That is, if (label, query) is an element of Q, then evaluation.get((label, query)) should equal p[label].evaluate(query).