X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnUriManager.mli;h=911a1849b614a5b99c4f450f7b2cf9d8081675ae;hb=d9373d1ab9c84de43f212e11912178cabd5562ac;hp=5dd69e9d9caeba063daeccebd7166c024f772ec5;hpb=5f926fd66f345c273bc66cc3ab9b1344ad0eac25;p=helm.git

diff --git a/helm/software/components/ng_kernel/nUriManager.mli b/helm/software/components/ng_kernel/nUriManager.mli
index 5dd69e9d9..911a1849b 100644
--- a/helm/software/components/ng_kernel/nUriManager.mli
+++ b/helm/software/components/ng_kernel/nUriManager.mli
@@ -23,11 +23,20 @@
  * 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 *)
 
-type uri
+type uri = Uri of int *  string * spec
 
 val eq: uri -> uri -> bool
-
 val string_of_uri: uri -> string 
 
+
+(* CACCA *)
+val nuri_of_ouri: UriManager.uri -> (int * int option ) option -> uri
+val ouri_of_nuri: uri -> UriManager.uri