X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibraryMisc.mli;h=d834dbd1ad1b55280f876a47cdc6ae4a84c1ce17;hb=a9cf292e7e406a8a2cd88b8f5f84ff2d59bea5e4;hp=08ac4638d3ff2b4f94be8fa610098bb7895c6f8f;hpb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;p=helm.git

diff --git a/helm/software/components/library/libraryMisc.mli b/helm/software/components/library/libraryMisc.mli
index 08ac4638d..d834dbd1a 100644
--- a/helm/software/components/library/libraryMisc.mli
+++ b/helm/software/components/library/libraryMisc.mli
@@ -23,6 +23,9 @@
  * http://helm.cs.unibo.it/
  *)
 
-val obj_file_of_baseuri: writable:bool -> baseuri:string -> string
-val lexicon_file_of_baseuri: writable:bool -> baseuri:string -> string
-val metadata_file_of_baseuri: writable:bool -> baseuri:string -> string
+val obj_file_of_baseuri: 
+  must_exist:bool -> writable:bool -> baseuri:string -> string
+val lexicon_file_of_baseuri: 
+  must_exist:bool -> writable:bool -> baseuri:string -> string
+val metadata_file_of_baseuri: 
+  must_exist:bool -> writable:bool -> baseuri:string -> string