Module eq_ind

Structs

EqIndPartialEval

Represents $\text{eq}(X, r)$, the partial evaluation of the equality indicator polynomial at a point $r$.