generate and mode functionality for substantial relation

1 files changed, 8 insertions, 8 deletions

diff --git a/lib/kernel/SubstantialRelation.mli b/lib/kernel/SubstantialRelation.mli
index 5061e5d..73a06c7 100644
--- a/lib/kernel/SubstantialRelation.mli
+++ b/lib/kernel/SubstantialRelation.mli
@@ -47,18 +47,18 @@ module Make (S : Abstract.Storage.STORAGE) : sig
   val contains_tuple :
     S.transaction -> t -> Concepts.Tuple.t -> (bool, 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] --
-      the body of [Protocols.Relation.enumerate] for this kind of
-      relation. Opens its own storage transaction, held for the
-      cursor's whole lifetime rather than just this call -- see
-      [Kernel.Generator] and docs/design/evaluator.md, "Shape". *)
   val enumerate : S.connection -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result
+
+  val generate :
+    S.connection ->
+    t ->
+    Protocols.Generative.binding ->
+    (Protocols.Handle.t, Concepts.Condition.condition) result
+
+  val modes : S.transaction -> t -> (Concepts.Mode.t, Concepts.Condition.condition) result
 end