Function leo_compiler::expression::relational::gt::evaluate_gt [−][src]
pub fn evaluate_gt<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(
cs: &mut CS,
left: ConstrainedValue<'a, F, G>,
right: ConstrainedValue<'a, F, G>,
span: &Span
) -> Result<ConstrainedValue<'a, F, G>, ExpressionError>