]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic/cicUtil.mli
describe exception raised by term_of_uri
[helm.git] / helm / ocaml / cic / cicUtil.mli
index 29657f401874ca46c865727666ffec8295bd02e7..ba9bab63d12d7997ed6b252ae6f3edd6a211269e 100644 (file)
@@ -36,5 +36,6 @@ val clean_up_local_context :
 val is_closed : Cic.term -> bool
 val is_meta_closed : Cic.term -> bool
 
+  (** @raise UriManager.IllFormedUri *)
 val term_of_uri: string -> Cic.term