blob: 97a27f3c3c3ffb8c7cf7ab9f59720175f7fc1758 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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. *)
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
|
