(* it gives back None if the uri refers to a Variable or MutualInductiveType *)
val bodyuri_of_uri : uri -> uri option
+val ind_uri_split : uri -> uri * int option * int option
+
(* 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 uri_of_uriref : uri -> int -> int option -> uri
module UriSet: Set.S with type elt = uri
+(*module UriPairSet: Set.S with type elt = uri * uri*)
module UriHashtbl : Hashtbl.S with type key = uri