-exception Term_not_found of UriManager.uri;;
-
-(* 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. *)
+exception Object_not_found of UriManager.uri;;
+
+(* as the get cooked, but if not present the object is only fetched,
+ * not unfreezed and committed
+ *)