+ (** re-hash-cons a single universe *)
+val recons_univ: universe -> universe
+
+ (** consistency chek that should be done before committin the graph to the
+ * cache *)
+val assert_univs_have_uri: universe_graph -> unit
+
+ (** asserts the univers is named *)
+val assert_univ: universe -> unit
+