-(* get_obj uri *)
-(* returns the cic object whose uri is uri. If the term is not just in cache, *)
-(* then it is parsed via CicParser.term_of_xml from the file whose name is *)
-(* the result of Getter.get uri *)
-val get_obj : UriManager.uri -> Cic.obj
+(* get_obj uri *)
+(* returns the cic object whose uri is uri. If the term is not just in cache,*)
+(* then it is parsed via CicParser.term_of_xml from the file whose name is *)
+(* the result of Getter.get uri *)
+(* *)
+(* ~not_jet_cooked returns the object even if it is not in the *)
+(* CacheOfCookedObjects searching it in the frozen list. *)
+(* This is necessary in cicUnivUtils.ml since (in the univ_maker phase *)
+(* it has to traverse object before they are committed. *)
+(* see the .ml file for some reassuring invariants on this. *)
+val get_obj :
+ ?not_jet_cooked:bool -> UriManager.uri -> CicUniv.universe_graph ->
+ Cic.obj * CicUniv.universe_graph