At the moment, selectors expressions needs to be accounted when writing a ScalarExpression::gate_expression(), likewise for table expressions for lookup tables.
We should update pub(crate) type Argument = Vec<ScalarExpression>; to become a structure of a selector/table expression, and constraints/lookups vector of expressions.
At the moment, selectors expressions needs to be accounted when writing a
ScalarExpression::gate_expression(), likewise for table expressions for lookup tables.We should update
pub(crate) type Argument = Vec<ScalarExpression>;to become a structure of a selector/table expression, and constraints/lookups vector of expressions.