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/prl/ast.ml | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 lib/prl/ast.ml

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

diff --git a/lib/prl/ast.ml b/lib/prl/ast.ml
deleted file mode 100644
index ab63c31..0000000
--- a/lib/prl/ast.ml
+++ /dev/null
@@ -1,15 +0,0 @@
-open Sexplib.Std
-
-type function_predicate =
-  { name: string;
-    schema: (string * string) list;
-    symbol: string;
-    purity: Conventions.Purity.t;
-    cardinality: Conventions.Cardinality.t }
-[@@deriving sexp]
-
-type statement =
-  | LoadLibrary of string
-  | DefineFunctionPredicate of function_predicate
-  | ListFunctionPredicates
-[@@deriving sexp]
-- 
cgit v1.2.3