rework evaluators and add schema scope

1 files changed, 11 insertions, 7 deletions

diff --git a/lib/kernel/Multigroup.mli b/lib/kernel/Multigroup.mli
index f8e2555..6dcfb2f 100644
--- a/lib/kernel/Multigroup.mli
+++ b/lib/kernel/Multigroup.mli
@@ -1,16 +1,20 @@
+(** A multigroup: its schemas, \multigroup\[m]\schema\[s]. *)
 module Make (S : Abstract.Storage.STORAGE) : sig
-  type t
+  include Merkle.VALUE
 
-  val encode : t -> Concepts.Blob.t
-  val decode : Concepts.Blob.t -> (t, Concepts.Condition.condition) result
-
-  (** [bind] runs the stored programs read through the multigroup; see
-      [EphemeralRelation.binding]. *)
-  val wrap :
+  val load :
     ?bind:EphemeralRelation.binding ->
     S.connection ->
     t ->
     (Protocols.Handle.t, Concepts.Condition.condition) result
 
+  (** a multigroup handed over with no address, as a directory holding its
+      schemas under \schema, to store once the write has begun. *)
+  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