(* given an uri, it gives back the uri of its inner types *)
val innertypesuri_of_uri : uri -> uri
+(* given an uri, it gives back the uri of its univgraph *)
+val univgraphuri_of_uri : uri -> uri
(* builder for MutInd and MutConstruct URIs
* [uri] -> [typeno] -> [consno option]
module UriSet: Set.S with type elt = uri
+module UriHashtbl : Hashtbl.S with type key = uri
+