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/ast.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/ast.ml')

diff --git a/lib/ast.ml b/lib/ast.ml
index 9674664..61ca787 100644
--- a/lib/ast.ml
+++ b/lib/ast.ml
@@ -15,6 +15,8 @@ type node =
   | Block of string * (string * node) list  (** [[Rel l: n ...]] *)
   | And of node * node
   | Or of node * node
+  | Not of node * node
+      (** [u :not d]: within the universe [u], deny [d]. *)
 
 (** A program is a list of statements. A bare block asserts a fact;
     a directive is a top-level message send such as
-- 
cgit v1.2.3