* functions strictly necessary to the typechecking algorithm *)
val get_checked_obj: NUri.uri -> NCic.obj
+val get_obj: NUri.uri -> bool * NCic.obj
+val add_obj: NCic.obj -> unit
val get_checked_def:
NReference.reference ->
val get_indty_leftno: NReference.reference -> int
+val invalidate: unit -> unit
+
(* EOF *)