Expand description
Wire variables and the allocator that mints them.
Structsยง
- Field
Var - A wire of a relation: a plain index. Index
0isFieldVar::ZERO, the wire every relation assigns the value zero. - VarAllocator
- Allocator for wire variables.
Wire variables and the allocator that mints them.
0 is FieldVar::ZERO, the
wire every relation assigns the value zero.