* http://cs.unibo.it/helm/.
*)
+exception IllFormedUri of string Lazy.t
+
type spec =
| Decl
| Def
| Fix of int * int (* fixno, recparamno *)
| CoFix of int
| Ind of int
- | IConstr of int * int (* indtyno, constrno *)
+ | Con of int * int (* indtyno, constrno *)
type uri = Uri of int * string * spec
(* CACCA *)
-val nuri_of_ouri: UriManager.uri -> (int * int option ) option -> uri
+val nuri_of_ouri: UriManager.uri -> spec -> uri
val ouri_of_nuri: uri -> UriManager.uri