Modules§
Structs§
- Expr
Builder - Expr
Builder Config - Field
Expr - Field
Expr Cols - Field
Expression Core Air - Field
Expression Core Chip - Field
Expression Record - Field
Variable
Enums§
- Symbolic
Expr - Example: If there are 4 inputs (x1, y1, x2, y2), and one intermediate variable lambda, Mul(Var(0), Var(0)) - Input(0) - Input(2) => lambda * lambda - x1 - x2