lib/kernel/Initialization.mli


1
2
3
4
5
6

module Make (S : Abstract.Storage.STORAGE) : sig
  val initialize :
    ?evaluators:(string * Protocols.Handle.t) list ->
    S.connection ->
    (Protocols.Handle.t, Concepts.Condition.condition) result
end