X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FuriManager.mli;h=8250cc83963dc058a0672c3d35d208617a0d920e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=8691600a9af45146109fa8e21eac1faf5deec54e;hpb=5e6e4586c8d8bd1707a38c5f24427fcfb1065d05;p=helm.git

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index 8691600a9..8250cc839 100644
--- a/helm/ocaml/urimanager/uriManager.mli
+++ b/helm/ocaml/urimanager/uriManager.mli
@@ -57,6 +57,8 @@ val bodyuri_of_uri : uri -> uri option
 
 (* given an uri, it gives back the uri of its inner types             *)
 val innertypesuri_of_uri : uri -> uri
+(* given an uri, it gives back the uri of its univgraph             *)
+val univgraphuri_of_uri : uri -> uri
 
 (* builder for MutInd and MutConstruct URIs
  * [uri] -> [typeno] -> [consno option]
@@ -65,3 +67,5 @@ val uri_of_uriref :  uri -> int -> int option -> uri
 
 module UriSet: Set.S with type elt = uri
 
+module UriHashtbl : Hashtbl.S with type key = uri
+