From db968eccee931abc8ad00d74d152625a2ab3174e Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Sat, 22 Aug 2026 17:55:26 +0000
Subject: Tidy up

---
 lib/concepts/Relation.mli | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 lib/concepts/Relation.mli

(limited to 'lib/concepts/Relation.mli')

diff --git a/lib/concepts/Relation.mli b/lib/concepts/Relation.mli
deleted file mode 100644
index 5319a3d..0000000
--- a/lib/concepts/Relation.mli
+++ /dev/null
@@ -1,15 +0,0 @@
-type t
-type address = Hash.hash
-type schema
-
-include Object.S with type t := t
-
-val make : name:string -> tuples:address -> schema:schema -> t
-
-val name : t -> string
-val tuples : t -> address
-val schema : t -> schema
-
-val schema_empty : schema
-val schema_of_list : (string * string) list -> schema
-val schema_to_list : schema -> (string * string) list
-- 
cgit v1.2.3