X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FuriManager.mli;h=8afb4e345ac28ee3d29ed6ecad88ff1af97eaf33;hb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;hp=2cdd27e3d386bd08ccd68b8bbc73a5d36b391ce5;hpb=2dc0733271cd251aaa3edaece8a883fe691775ab;p=helm.git

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index 2cdd27e3d..8afb4e345 100644
--- a/helm/ocaml/urimanager/uriManager.mli
+++ b/helm/ocaml/urimanager/uriManager.mli
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+exception IllFormedUri of string;;
+
 type uri
 
 val eq : uri -> uri -> bool
@@ -49,3 +51,10 @@ val annuri_of_uri : uri -> uri
 
 (* given an uri, tells if it refers to an annotation *)
 val uri_is_annuri : uri -> bool
+
+(* given an uri of a constant, it gives back the uri of its body             *)
+(* it gives back None if the uri refers to a Variable or MutualInductiveType *)
+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