UriManager.uri -> (Cic.obj * CicUniv.universe_graph) -> unit
(** remove a type checked object
- * @raise Term_not_found when given term is not in the environment
+ * @raise Object_not_found when given term is not in the environment
* @raise Failure when remove_term is invoked while type checking *)
val remove_obj: UriManager.uri -> unit