openvm_stark_backend::air_builders::symbolic

Module dag

Source

Structs§

Enums§

  • SymbolicExpressionNode
    A node in symbolic expression DAG. Basically replace Arcs in SymbolicExpression with node IDs. Intended to be serializable and deserializable.