uri -> reference

[helm.git] / helm / software / components / ng_kernel / nUriManager.mli

diff --git a/helm/software/components/ng_kernel/nUriManager.mli b/helm/software/components/ng_kernel/nUriManager.mli
index ae8f793e66374a80c1530a41c1c77b6b30e8b2d8..116e30ac95bce6610147b2288383d1c692569979 100644 (file)
--- a/helm/software/components/ng_kernel/nUriManager.mli
+++ b/helm/software/components/ng_kernel/nUriManager.mli
@@ -23,7 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
-exception IllFormedUri of string Lazy.t
+exception IllFormedReference of string Lazy.t
 
 type spec = 
  | Decl 
@@ -33,12 +33,12 @@ type spec =
  | Ind of int
  | Con of int * int (* indtyno, constrno *)
 
-type uri = Uri of int *  string * spec
+type reference = Ref of int *  string * spec
 
-val eq: uri -> uri -> bool
-val string_of_uri: uri -> string 
+val eq: reference -> reference -> bool
+val string_of_reference: reference -> string 
 
 
 (* CACCA *)
-val nuri_of_ouri: UriManager.uri -> spec ->  uri
-val ouri_of_nuri: uri -> UriManager.uri
+val reference_of_ouri: UriManager.uri -> spec ->  reference
+val ouri_of_reference: reference -> UriManager.uri