\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-(* NG: minimal wrapper on the old cicEnvironment, should provide only the
- * functions strictly necessary to the typechecking algorithm *)
+(* $Id$ *)
exception ObjectNotFound of string Lazy.t
+exception LibraryOutOfSync of string Lazy.t
-val get_obj: NUri.uri -> NCic.obj
+type timestamp
+val time0: timestamp
+
+val add_obj: NUri.uri -> NCic.obj -> timestamp
+val aliases_of: NUri.uri -> NReference.reference list
+val resolve: string -> NReference.reference list
+val get_obj: NUri.uri -> NCic.obj (* changes the current timestamp *)
+
+val clear_cache : unit -> unit
+
+val time_travel: timestamp -> unit
+val decompile: baseuri:NUri.uri -> unit
+
+module type Serializer =
+ sig
+ type status
+ type obj
+ val register: string -> ('a -> status -> status) -> ('a -> obj)
+ val serialize: baseuri:NUri.uri -> obj list -> unit
+ val require: baseuri:NUri.uri -> status -> status
+ end
+
+module Serializer(S: sig type status end): Serializer with type status= S.status
(* EOF *)