-(*
-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
+(* builder for MutInd and MutConstruct URIs
+ * [uri] -> [typeno] -> [consno option]
+ *)
+val uri_of_uriref : uri -> int -> int option -> uri