+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