val set_proof_aliases :
MatitaTypes.status -> DisambiguateTypes.environment -> MatitaTypes.status
- (* removes the object from DB, Disk, CoercionsDB, getter
+ (* removes the object from DB, Disk, CoercionsDB, CicEnvironment, getter
* asserts the uri is resolved to file:// so it is only for
* user's objects *)
val remove: verbose:bool -> UriManager.uri -> unit