added uri_of_carr

[helm.git] / components / library / coercDb.mli

diff --git a/components/library/coercDb.mli b/components/library/coercDb.mli
index 95dd96c0b18a2fd9a3849a8b707b74b1e1a7e38a..92d4b7f2484e231e1547a62899fe094ece785c79 100644 (file)
--- a/components/library/coercDb.mli
+++ b/components/library/coercDb.mli
@@ -42,6 +42,7 @@ exception EqCarrOnNonMetaClosed
 val eq_carr: coerc_carr -> coerc_carr -> bool
 val coerc_carr_of_term: Cic.term -> coerc_carr
 val name_of_carr: coerc_carr -> string
+val uri_of_carr: coerc_carr -> UriManager.uri option
 
 val to_list:
   unit ->