NReference.reference ->
bool * int * NCic.inductiveType list * NCic.i_attr * int
-val get_checked_fix:
+val get_checked_fixes:
NReference.reference ->
- NCic.relevance * string * NCic.term * NCic.term * NCic.f_attr * int
+ NCic.inductiveFun list * NCic.f_attr * int
-val get_checked_cofix:
+val get_checked_cofixes:
NReference.reference ->
- NCic.relevance * string * NCic.term * NCic.term * NCic.f_attr * int
+ NCic.inductiveFun list * NCic.f_attr * int
val get_indty_leftno: NReference.reference -> int
val invalidate: unit -> unit
+val load_graph: UriManager.uri -> unit
+val get_graph: unit -> CicUniv.universe_graph
(* EOF *)