From 41224db2c0929db32da31718af04655ce5e138e6 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Thu, 8 Oct 2026 20:05:19 -0300
Subject: purge schema in favor of simple namespace

---
 lib/kernel/Schema.mli | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 lib/kernel/Schema.mli

(limited to 'lib/kernel/Schema.mli')

diff --git a/lib/kernel/Schema.mli b/lib/kernel/Schema.mli
deleted file mode 100644
index 7970ee2..0000000
--- a/lib/kernel/Schema.mli
+++ /dev/null
@@ -1,23 +0,0 @@
-(** A schema: its relations, \schema\[s]\relation\[r]. For now only a
-    namespace for them. *)
-module Make (S : Abstract.Storage.STORAGE) : sig
-  include Merkle.VALUE
-
-  val load :
-    ?bind:EphemeralRelation.binding ->
-    S.connection ->
-    t ->
-    (Protocols.Handle.t, Concepts.Condition.condition) result
-
-  (** a schema handed over with no address, as a directory holding its
-      relations under \relation, to store once the write has begun. A
-      relation with no address is stored as a program if it is one, and
-      as the tuples it holds if not. *)
-  val admit :
-    string ->
-    Protocols.Handle.t ->
-    (S.transaction Prototype.Associative.admission, Concepts.Condition.condition) result
-
-  (** an empty one, stored. *)
-  val make : S.connection -> (Protocols.Handle.t, Concepts.Condition.condition) result
-end
-- 
cgit v1.2.3