@@ -50,7 +50,7 @@
"type": "object",
"required": ["op", "args"],
"properties": {
- "op": { "type": "string", "enum": ["=", "<>", "<", ">", "<=", ">="] },
+ "op": { "type": "string", "enum": ["Eq", "Neq", "Lt", "Gt", "Lte", "Gte"] },
"args": {"$ref": "#/$defs/scalarOperands"}
}
},
@@ -285,7 +285,7 @@
"properties": {
"op": {
"type": "string",
- "enum": ["+", "-", "*", "/", "^", "%", "div"]
+ "enum": ["Plus", "Minus", "Mult", "Div", "Exp", "Mod", "IntDiv"]
},
"args": {"$ref": "#/$defs/arithmeticOperands"}
}