add :subsume

tree-sitter-egglog/grammar.js

@@ -93,6 +93,7 @@ module.exports = grammar({
           "rewrite",
           $.expr,
           $.expr,
+          optional(":subsume"),
           optional(seq(":when", list($, $.fact))),
           optional(seq(":ruleset", $.ident)),
           $.rparen
@@ -193,6 +194,7 @@ module.exports = grammar({
           $.rparen,
           $.rparen
         ),
+        seq($.lparen, "subsume", $.lparen, $.ident, repeat($.expr), $.rparen, $.rparen),
         seq($.lparen, "union", $.expr, $.expr, $.rparen),
         seq($.lparen, "panic", $.string, $.rparen),
         seq($.lparen, "extract", $.expr, $.rparen),

tree-sitter-egglog/src/grammar.json

@@ -546,6 +546,18 @@
               "type": "SYMBOL",
               "name": "expr"
             },
+            {
+              "type": "CHOICE",
+              "members": [
+                {
+                  "type": "STRING",
+                  "value": ":subsume"
+                },
+                {
+                  "type": "BLANK"
+                }
+              ]
+            },
             {
               "type": "CHOICE",
               "members": [
@@ -1481,6 +1493,42 @@
             }
           ]
         },
+        {
+          "type": "SEQ",
+          "members": [
+            {
+              "type": "SYMBOL",
+              "name": "lparen"
+            },
+            {
+              "type": "STRING",
+              "value": "subsume"
+            },
+            {
+              "type": "SYMBOL",
+              "name": "lparen"
+            },
+            {
+              "type": "SYMBOL",
+              "name": "ident"
+            },
+            {
+              "type": "REPEAT",
+              "content": {
+                "type": "SYMBOL",
+                "name": "expr"
+              }
+            },
+            {
+              "type": "SYMBOL",
+              "name": "rparen"
+            },
+            {
+              "type": "SYMBOL",
+              "name": "rparen"
+            }
+          ]
+        },
         {
           "type": "SEQ",
           "members": [

tree-sitter-egglog/src/node-types.json

@@ -493,6 +493,10 @@
     "type": ":ruleset",
     "named": false
   },
+  {
+    "type": ":subsume",
+    "named": false
+  },
   {
     "type": ":unextractable",
     "named": false
@@ -693,6 +697,10 @@
     "type": "string",
     "named": true
   },
+  {
+    "type": "subsume",
+    "named": false
+  },
   {
     "type": "true",
     "named": false