(** re-hash-cons URIs contained in the given universe so that phisicaly
* equality could be enforced. Mainly used by
* CicEnvironment.restore_from_channel *)
(** re-hash-cons URIs contained in the given universe so that phisicaly
* equality could be enforced. Mainly used by
* CicEnvironment.restore_from_channel *)