(* inside obj living at uri 'uri' should live only
* universes with uri None. Call Unshare.unshare ~fresh_univs:true
* if you want to reuse a Type in another object *)
(* inside obj living at uri 'uri' should live only
* universes with uri None. Call Unshare.unshare ~fresh_univs:true
* if you want to reuse a Type in another object *)