From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 15:30:53 -0300
Subject: preparation cleanup for RNT integration

---
 lib/icl/ast.ml | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 lib/icl/ast.ml

(limited to 'lib/icl/ast.ml')

diff --git a/lib/icl/ast.ml b/lib/icl/ast.ml
deleted file mode 100644
index 1a5b096..0000000
--- a/lib/icl/ast.ml
+++ /dev/null
@@ -1,17 +0,0 @@
-open Sexplib.Std
-
-type binding_expr = Var of string | Const of Drl.Ast.value  (** reuse DRL value for literals *)
-[@@deriving sexp]
-
-type constraint_body =
-  | MemberOf of {target: string; binding: (string * binding_expr) list}
-  | Not of {body: constraint_body; universe: string}
-  | And of constraint_body list
-  | Or of constraint_body list
-  | Exists of {variable: string; quantifier: string; body: constraint_body}
-  | Forall of {variable: string; quantifier: string; body: constraint_body}
-[@@deriving sexp]
-
-type statement =
-  | RegisterConstraint of {constraint_name: string; relation_name: string; body: constraint_body}
-[@@deriving sexp]
-- 
cgit v1.2.3