val add_type_checked_term :
UriManager.uri -> (Cic.obj * CicUniv.universe_graph) -> unit
- (** remove a type checked term
+ (** remove a type checked object
* @raise Term_not_found when given term is not in the environment
* @raise Failure when remove_term is invoked while type checking *)
-val remove_term: UriManager.uri -> unit
+val remove_obj: UriManager.uri -> unit
(* get_cooked_obj ~trust uri *)
(* returns the object if it is already type-checked or if it can be *)