(* given an uri, it gives back the uri of its inner types *)
val innertypesuri_of_uri : uri -> uri
+
+(*
+val mutind_uri: uri -> int -> uri
+val mutconstruct_uri: uri -> int -> int -> uri
+val mutind: uri -> uri * int
+val mutconstruct: uri -> uri * int * int
+*)
+
+ (* builder for MutInd and MutConstruct URIs *)
+type uriref = uri * (int list)
+val string_of_uriref : uriref -> string
+