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