New functions UriManager.uri_is_var, UriManager.uri_is_con.

[helm.git] / helm / ocaml / urimanager / uriManager.mli

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index 27bf862b8f11ad0d9782d1adfb6776da1c39ef38..bed9db29ea43ce8f02d56e70490c75dc47b64ae4 100644 (file)
--- a/helm/ocaml/urimanager/uriManager.mli
+++ b/helm/ocaml/urimanager/uriManager.mli
@@ -48,6 +48,7 @@ val annuri_of_uri : uri -> uri
 
 val uri_is_annuri : uri -> bool
 val uri_is_var : uri -> bool
+val uri_is_con : 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 *)