(DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
MatitaTypes.status
-val compute_diff_and_set_proof_aliases :
- MatitaTypes.status -> DisambiguateTypes.environment -> 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 *)