\ / 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
+val add_obj: NUri.uri -> NCic.obj -> unit
+val aliases_of: NUri.uri -> NReference.reference list
+val resolve: string -> NReference.reference list
val get_obj: NUri.uri -> NCic.obj
+val clear_cache : unit -> unit
+
(* EOF *)