(* NG: minimal wrapper on the old cicEnvironment, should provide only the
* functions strictly necessary to the typechecking algorithm *)
-val get_checked_obj : NUri.uri -> NCic.obj
+val get_checked_obj: NUri.uri -> NCic.obj
+
+val get_checked_def:
+ NReference.reference ->
+ NCic.relevance * string * NCic.term * NCic.term * NCic.c_attr * int
+
+val get_checked_fix:
+ NReference.reference ->
+ NCic.relevance * string * NCic.term * NCic.term * NCic.f_attr * int
+
+val get_checked_cofix:
+ NReference.reference ->
+ NCic.relevance * string * NCic.term * NCic.term * NCic.f_attr * int
+
+val get_indty_leftno: NReference.reference -> int
(* EOF *)