From 468852215a59d502dc156346df97f2d2f902203b Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 7 May 2025 15:08:44 +0100
Subject: Add keywords for unions

---
 lexer.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lexer.py b/lexer.py
index cdce839..8a2cbb4 100644
--- a/lexer.py
+++ b/lexer.py
@@ -11,12 +11,13 @@ class SystemTLexer(OcamlLexer):
 
     EXTRA_KEYWORDS = [
         'arb',
-        'arb)',
         'fold',
         'foldmatch',
+        'inj',
         'map',
         'max',
         'primrec',
+        'prj',
         'roll',
         'roll2',
     ]
-- 
cgit v1.2.3