openvm_
stark_
backend
0.1.2-alpha
Module symbolic_
expression
Module Items
Enums
Traits
In openvm_
stark_
backend::
air_
builders::
symbolic
openvm_stark_backend
::
air_builders
::
symbolic
Module
symbolic_expression
Copy item path
Source
Enums
§
Symbolic
Expression
An expression over
SymbolicVariable
s.
Traits
§
Symbolic
Evaluator