Function leo_compiler::expression::arithmetic::negate::enforce_negate [−][src]
pub fn enforce_negate<F: Field + PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(
cs: &mut CS,
value: ConstrainedValue<F, G>,
span: &Span
) -> Result<ConstrainedValue<F, G>, ExpressionError>