* http://cs.unibo.it/helm/.
*)
+exception IllFormedUri of string;;
+
type uri
val eq : uri -> uri -> bool
(* 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