From b4a2485afbf74e99e2147086fbca0568b7e2b7b8 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 17:55:27 -0300
Subject: relation references as a term kind, written #Name

---
 lib/ast.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/ast.ml')

diff --git a/lib/ast.ml b/lib/ast.ml
index 61ca787..41b2346 100644
--- a/lib/ast.ml
+++ b/lib/ast.ml
@@ -10,6 +10,7 @@ type node =
   | Int of Z.t
   | Rat of Z.t * Z.t  (** one token, [1/4]; normalized at loading *)
   | Str of string
+  | Ref of string  (** [#Name], a relation reference *)
   | Record of (string * node) list  (** [{l: n ...}], source order *)
   | Seq of node list * node option  (** [#(a b)], optional [| tail] *)
   | Block of string * (string * node) list  (** [[Rel l: n ...]] *)
-- 
cgit v1.2.3