diff options
Diffstat (limited to 'lib/kernel/Initialization.mli')
| -rw-r--r-- | lib/kernel/Initialization.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/kernel/Initialization.mli b/lib/kernel/Initialization.mli index 926bbd8..a6e6ae0 100644 --- a/lib/kernel/Initialization.mli +++ b/lib/kernel/Initialization.mli @@ -1,4 +1,12 @@ +(** 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 \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 -> |