pub fn mul_by_02345_expr(
config: ExprBuilderConfig,
range_bus: VariableRangeCheckerBus,
xi: [isize; 2],
) -> FieldExpr
pub fn mul_by_02345_expr(
config: ExprBuilderConfig,
range_bus: VariableRangeCheckerBus,
xi: [isize; 2],
) -> FieldExpr