From 40376c3ea009eab4db9ba27837e61d8bec310b8f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 03:15:25 -0300
Subject: negation, quantifiers and membership criteria as schema domains

---
 lib/lexer.mll | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/lexer.mll')

diff --git a/lib/lexer.mll b/lib/lexer.mll
index 53ef04a..417369b 100644
--- a/lib/lexer.mll
+++ b/lib/lexer.mll
@@ -39,6 +39,7 @@ rule token = parse
   | '|'                       { BAR }
   | ":and"                    { AND }
   | ":or"                     { OR }
+  | ":not"                    { NOT }
   | '-'? digit+ '/' digit+ as s
       { match String.index_opt s '/' with
         | Some i ->
-- 
cgit v1.2.3