rework evaluators and add schema scope

1 files changed, 8 insertions, 11 deletions

diff --git a/lib/kernel/Initialization.mli b/lib/kernel/Initialization.mli
index 97a27f3..a6e6ae0 100644
--- a/lib/kernel/Initialization.mli
+++ b/lib/kernel/Initialization.mli
@@ -1,17 +1,14 @@
+(** a subsystem's root, \[name], holding \[name]\evaluator for the
+    evaluators it registers. Mounting it again gives the one there. *)
+val mount :
+  Protocols.Handle.t -> string -> (Protocols.Handle.t, Concepts.Condition.condition) result
+
 module Make (S : Abstract.Storage.STORAGE) : sig
-  (** the root of the object tree, holding only \system: its branches,
-      the [evaluators] by language, the sessions and the applications. *)
+  (** the root of the object tree, holding \system: its branches, of
+      which there is always a master, the system's [evaluators] by
+      language, the sessions and the applications. *)
   val initialize :
     ?evaluators:(string * Protocols.Handle.t) list ->
     S.connection ->
     (Protocols.Handle.t, Concepts.Condition.condition) result
-
-  (** give a subsystem a root of its own, \[name], with branches of its
-      own whose heads are kept apart from every other root's. Its stored
-      programs run through \system\evaluator. *)
-  val mount :
-    S.connection ->
-    Protocols.Handle.t ->
-    string ->
-    (Protocols.Handle.t, Concepts.Condition.condition) result
 end