(** cleans the universe graph for a given object and fills universes with URI.
* to be used on qed
*)
val clean_and_fill:
UriManager.uri -> Cic.obj -> CicUniv.universe_graph ->
(** cleans the universe graph for a given object and fills universes with URI.
* to be used on qed
*)
val clean_and_fill:
UriManager.uri -> Cic.obj -> CicUniv.universe_graph ->