Module expression

Modules

• operators 🔒
• ordering 🔒

Structs

• Expression
  An expression representing a quadratic polynomial.

Functions

• display_expression 🔒
  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. If the optional return_values is provided, the expression is displayed preferring to show ASSERT return_value = ... when possible.
• display_term 🔒