From 6b32dce6d479e93eb88ec043908cba7cc1f5fcbb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Thu, 16 Jul 2026 17:56:08 +0200
Subject: [PATCH] add builtin "Set"

---
 Set.lp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Set.lp b/Set.lp
index f484fdf..fea919a 100644
--- a/Set.lp
+++ b/Set.lp
@@ -2,6 +2,8 @@
 
 constant symbol Set : TYPE;
 
+builtin "Set" ≔ Set;
+
 constant symbol ι : Set;
 
 // Interpretation of set codes in TYPE