From b555c28c7e6c315fc0394baf213ecb08b21ed959 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 15:35:39 -0300
Subject: further deletions on drl and prelude

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

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

diff --git a/lib/drl/ast.ml b/lib/drl/ast.ml
deleted file mode 100644
index 2fd56e6..0000000
--- a/lib/drl/ast.ml
+++ /dev/null
@@ -1,26 +0,0 @@
-open Sexplib.Std
-
-(** Literal values for Const nodes *)
-type value = Int of int | Float of float | Str of string | Bool of bool [@@deriving sexp]
-
-(** Convert an AST value to an AbstractValue.t (Obj.t) via Obj.repr *)
-let value_to_abstract : value -> Conventions.AbstractValue.t = function
-  | Int n -> Obj.repr n
-  | Float f -> Obj.repr f
-  | Str s -> Obj.repr s
-  | Bool b -> Obj.repr b
-
-type direction = Asc | Desc [@@deriving sexp]
-
-type query =
-  | Base of string  (** base relation by name *)
-  | Const of (string * value) list  (** constant single-tuple relation *)
-  | Select of query * query  (** σ semijoin: (filter, source) *)
-  | Join of string list * query * query  (** ⋈ natural equijoin on named attrs *)
-  | Cartesian of query * query  (** × Cartesian product *)
-  | Project of string list * query  (** π restrict columns *)
-  | Rename of (string * string) list * query  (** ρ rename (old,new) pairs *)
-  | Union of query * query  (** ∪ — compatible schemas assumed *)
-  | Diff of query * query  (** − *)
-  | Take of int * query  (** τ *)
-[@@deriving sexp]
-- 
cgit v1.2.3