acir::native_types::expression

Function display_expression

Source
pub(crate) fn display_expression<F: AcirField>(
    expr: &Expression<F>,
    as_equal_to_zero: bool,
    f: &mut Formatter<'_>,
) -> Result
Expand description

Displays an expression as a quadratic polynomial. If as_equal_to_zero is true, the expression is displayed as equaling zero, where it’s tried to shown as a polynomial equal to the largest witness, if possible.