\ / 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 get_obj: NUri.uri -> NCic.obj
+val clear_cache : unit -> unit
+
(* EOF *)