Module arith_circuit

Source

Structsยง

ArithCircuitPoly
Describes polynomial evaluations using a directed acyclic graph of expressions.