pub fn lookup3_xy_with_conditional_negation<Scalar: PrimeField, CS>(
    cs: CS,
    bits: &[Boolean],
    coords: &[(Scalar, Scalar)],
) -> Result<(Num<Scalar>, Num<Scalar>), SynthesisError>
where CS: ConstraintSystem<Scalar>,
Expand description

Performs a 3-bit window table lookup, where one of the bits is a sign bit.