blob: a6e6ae0b5b88ddb7ce50b3f80094fb93b0d76132 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
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 \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
end
|
