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