pub type Operand = Vec<ShiftedValueIndex>;
Expand description
Operand type.
An operand in Binius64 is a vector of shifted values. Each item in the vector represents a term in a XOR combination of shifted values.
To give a couple examples:
ⓘ
vec![] == 0
vec![1] == 1
vec![1, 1] == 1 ^ 1
vec![x >> 5, y << 5] = (x >> 5) ^ (y << 5)
Aliased Type§
pub struct Operand { /* private fields */ }