Multi-user matita: changed the status object to include a ``user'' method

[helm.git] / matitaB / components / ng_library / nCicLibrary.mli

diff --git a/matitaB/components/ng_library/nCicLibrary.mli b/matitaB/components/ng_library/nCicLibrary.mli
index 63bd7518aa538421c45131e0adee55ba9fc8a82c..89e701fc16bc25e0b3d970e6fcdd5838b322ec24 100644 (file)
--- a/matitaB/components/ng_library/nCicLibrary.mli
+++ b/matitaB/components/ng_library/nCicLibrary.mli
@@ -17,6 +17,7 @@ exception IncludedFileNotCompiled of string * string
 type timestamp
 
 class virtual status :
+ string option ->
  object ('self)
   inherit NCic.status
   method timestamp: timestamp
@@ -44,7 +45,7 @@ class type g_dumpable_status =
   method dump: dump
  end
 
-class dumpable_status :
+class dumpable_status : 
  object ('self)
   inherit g_dumpable_status
   method set_dump: dump -> 'self
@@ -71,13 +72,15 @@ module type SerializerType =
   val require: baseuri:
    NUri.uri -> fname:string -> alias_only:bool ->
     dumpable_status -> dumpable_status
-  val dependencies_of: baseuri:NUri.uri -> string list
+  val dependencies_of: string option -> baseuri:NUri.uri -> string list
  end
 
-module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status  val set: dumpable_s -> dumpable_status -> dumpable_s end) :
-  SerializerType with type dumpable_status = D.dumpable_s
+module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status
+  val set: dumpable_s -> dumpable_status -> dumpable_s val user : dumpable_s ->
+  string option end) :
+ SerializerType with type dumpable_status = D.dumpable_s
 
 val refresh_uri: NUri.uri -> NUri.uri
 
-val ng_path_of_baseuri: ?no_suffix:bool -> NUri.uri -> string
+val ng_path_of_baseuri: ?no_suffix:bool -> string option -> NUri.uri -> string
 (* EOF *)