diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 13:22:10 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 13:22:10 -0300 |
| commit | 504e2d03a10f1641b36a9d5f127a18bc943562ce (patch) | |
| tree | 3cff1b25540fd01c2c583f47e3bf90363543b0b2 /lib/kernel/SubstantialRelation.mli | |
| parent | 8ff6bd42c0708b35f3026633e99f109de1bec89e (diff) | |
| download | RNT-504e2d03a10f1641b36a9d5f127a18bc943562ce.tar.gz RNT-504e2d03a10f1641b36a9d5f127a18bc943562ce.zip | |
ephemeral relations as outputs of FOL and program overhaul
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/SubstantialRelation.mli | 55 |
1 files changed, 0 insertions, 55 deletions
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 |