hash function exported

diff --git a/matita/components/ng_kernel/nReference.ml b/matita/components/ng_kernel/nReference.ml
index e209d05bef8e8d3c28b13093addee5f4be070b69..bb560bfd6349161810d9a0fd05a4b83e9d286f0c 100644 (file)
--- a/matita/components/ng_kernel/nReference.ml
+++ b/matita/components/ng_kernel/nReference.ml
@@ -30,6 +30,10 @@ let compare (Ref (u1,s1)) (Ref (u2,s2)) =
   if res = 0 then compare s1 s2 else res
 ;;
 
+let hash (Ref (uri,spec)) =
+ Hashtbl.hash spec + NUri.hash uri
+;;
+
 module OrderedStrings =
  struct
   type t = string

diff --git a/matita/components/ng_kernel/nReference.mli b/matita/components/ng_kernel/nReference.mli
index d7f87e57c1712e63cba89dd1ea29d49d00893c14..4c3dd3416d596cb2b9d53f2a6e2ccf9f0ebb3fd5 100644 (file)
--- a/matita/components/ng_kernel/nReference.mli
+++ b/matita/components/ng_kernel/nReference.mli
@@ -27,6 +27,7 @@ val reference_of_spec: NUri.uri -> spec -> reference
 
 val eq: reference -> reference -> bool
 val compare: reference -> reference -> int
+val hash: reference -> int
 val string_of_reference: reference -> string 
 val reference_of_string: string -> reference
 

diff --git a/matita/components/ng_kernel/nUri.ml b/matita/components/ng_kernel/nUri.ml
index e92be39e16d6a4b6575c66101b042b1aaca309d8..b3c8777681290cfe0348b9af8471da3cca6b66f4 100644 (file)
--- a/matita/components/ng_kernel/nUri.ml
+++ b/matita/components/ng_kernel/nUri.ml
@@ -48,12 +48,13 @@ fun s ->
 
 let eq = (==);;
 let compare (n1,_) (n2,_) = n2 - n1;;
+let hash (n,_) = n;;
 
 module HT = struct
         type t = uri
         let equal = eq
         let compare = compare
-        let hash (n,_) = n;;
+        let hash = hash;;
 end;;
 
 module UriHash = Hashtbl.Make(HT);;

diff --git a/matita/components/ng_kernel/nUri.mli b/matita/components/ng_kernel/nUri.mli
index a133c04c851959bdf5faff74cb4faa9924865e2c..25d319eb4767f8bcaeefcf7e5b80608217ca72e3 100644 (file)
--- a/matita/components/ng_kernel/nUri.mli
+++ b/matita/components/ng_kernel/nUri.mli
@@ -19,6 +19,7 @@ val baseuri_of_uri: uri -> string
 val uri_of_string: string -> uri
 val eq: uri -> uri -> bool
 val compare: uri -> uri -> int
+val hash: uri -> int
 
 module UriHash: Hashtbl.S with type key = uri
 module UriMap: Map.S with type key = uri