Expand description
Input variables to math expressions
A Var
maintains a persistent identity from
Tree
to Context
(where
it is wrapped in a Op::Input
) to evaluation
(where Tape::vars
maps from Var
to index in
the argument list).
Structs§
- VarIndex
- Type for a variable index (implemented as a
u64
), used inVar::V
- VarMap
- Map from
Var
to a particular index