diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 03:19:46 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 03:19:46 -0300 |
| commit | 9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa (patch) | |
| tree | eb5bef6ac815aa4fdc95c52838626ab1826c4fb0 /lib/kernel/SubstantialRelation.mli | |
| parent | 327d0d2a47591e02299d4e7360d5b7e03b4962d2 (diff) | |
| download | RNT-9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa.tar.gz RNT-9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa.zip | |
appropriate enumeration for tuple split on object and resident
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/SubstantialRelation.mli | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/lib/kernel/SubstantialRelation.mli b/lib/kernel/SubstantialRelation.mli index 866c3a0..be2ad28 100644 --- a/lib/kernel/SubstantialRelation.mli +++ b/lib/kernel/SubstantialRelation.mli @@ -1,7 +1,4 @@ -module Make (S : Abstract.Storage.STORAGE) (Schematics : sig - include Protocols.Schematics.S - val of_blob : Concepts.Blob.t -> (Schema.t, Concepts.Condition.condition) result -end) : sig +module Make (S : Abstract.Storage.STORAGE) : sig type t val encode : t -> Concepts.Blob.t @@ -9,7 +6,7 @@ end) : sig val empty : S.transaction -> - heading:Concepts.Hash.hash -> + schematics:Concepts.Hash.hash -> ?predicate:Concepts.Hash.hash -> ?local_constraints:Concepts.Hash.hash -> ?indexes:Concepts.Hash.hash -> @@ -20,7 +17,7 @@ end) : sig val make : S.connection -> - heading:Concepts.Hash.hash -> + schematics:Concepts.Hash.hash -> ?predicate:Concepts.Hash.hash -> ?local_constraints:Concepts.Hash.hash -> ?indexes:Concepts.Hash.hash -> @@ -37,7 +34,7 @@ end) : sig Concepts.Hash.hash -> (Protocols.Handle.t, Concepts.Condition.condition) result - val heading : t -> Concepts.Hash.hash + 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 @@ -50,9 +47,12 @@ end) : sig val contains_tuple : S.transaction -> t -> Concepts.Blob.t -> (bool, Concepts.Condition.condition) result - (** decodes the heading at [heading relation] -- the body of - [Schematics.schema] for this kind of relation. *) - val heading_value : S.transaction -> t -> (Schematics.Schema.t, Concepts.Condition.condition) result + (** decodes the schematics at [schematics relation] -- the body of + [Protocols.Schematics.describe] for this kind of relation. *) + val schema_of : + S.transaction -> + t -> + (Protocols.Schematics.relation_description, Concepts.Condition.condition) result (** a handle carrying [Protocols.Cursor] over every tuple currently asserted, decoded via [Concepts.Tuple.Representation.of_blob] -- |