From 504e2d03a10f1641b36a9d5f127a18bc943562ce Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 13:22:10 -0300
Subject: ephemeral relations as outputs of FOL and program overhaul

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

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

diff --git a/lib/kernel/SubstantialRelation.mli b/lib/kernel/SubstantialRelation.mli
deleted file mode 100644
index 98f1e8f..0000000
--- a/lib/kernel/SubstantialRelation.mli
+++ /dev/null
@@ -1,55 +0,0 @@
-module Make (S : Abstract.Storage.STORAGE) : sig
-  type t
-
-  val encode : t -> Concepts.Blob.t
-  val decode : Concepts.Blob.t -> (t, Concepts.Condition.condition) result
-
-  val empty :
-    S.transaction ->
-    schematics:Concepts.Hash.hash ->
-    ?predicate:Concepts.Hash.hash ->
-    ?local_constraints:Concepts.Hash.hash ->
-    ?indexes:Concepts.Hash.hash ->
-    unit ->
-    (t, Concepts.Condition.condition) result
-
-  val store : S.transaction -> t -> (Concepts.Hash.hash, Concepts.Condition.condition) result
-
-  val make :
-    S.connection ->
-    schematics:Concepts.Hash.hash ->
-    ?predicate:Concepts.Hash.hash ->
-    ?local_constraints:Concepts.Hash.hash ->
-    ?indexes:Concepts.Hash.hash ->
-    unit ->
-    (Protocols.Handle.t, Concepts.Condition.condition) result
-
-  val load_value : S.transaction -> Concepts.Hash.hash -> (t, Concepts.Condition.condition) result
-  val wrap : S.connection -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result
-
-  val load :
-    S.transaction ->
-    S.connection ->
-    Concepts.Hash.hash ->
-    (Protocols.Handle.t, Concepts.Condition.condition) result
-
-  val schematics : t -> Concepts.Hash.hash
-  val predicate : t -> Concepts.Hash.hash option
-  val local_constraints : t -> Concepts.Hash.hash option
-  val tuples : t -> Concepts.Hash.hash
-  val indexes : t -> Concepts.Hash.hash option
-  val hash : t -> Concepts.Hash.hash
-
-  val assert_tuple :
-    S.transaction -> t -> Concepts.Tuple.t -> (t, Concepts.Condition.condition) result
-
-  val contains_tuple :
-    S.transaction -> t -> Concepts.Tuple.t -> (bool, Concepts.Condition.condition) result
-
-  val schema_of :
-    S.transaction ->
-    t ->
-    (Protocols.Schematics.relation_description, Concepts.Condition.condition) result
-
-  val enumerate : S.connection -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result
-end
-- 
cgit v1.2.3