]> matita.cs.unibo.it Git - helm.git/commitdiff
improved comment of HExtlib.find
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 23:22:09 +0000 (23:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 23:22:09 +0000 (23:22 +0000)
helm/software/components/extlib/hExtlib.mli

index aed9b240693cdd4a9621984ddec60d1bbc4356b6..17e2de2bc0c758603486bcc7dac5e4da14256876 100644 (file)
@@ -41,7 +41,8 @@ val is_dir_empty: string -> bool (** checks if the dir is empty *)
 val rmdir_descend: string -> unit (** rmdir -p *)
 
 
-  (** find all _files_ matching test under a filesystem root *)
+  (** find all _files_ whose name matches test under a filesystem root.
+   * Test is passed the filename path relative to the given filesystem root *)
 val find: ?test:(string -> bool) -> string -> string list 
 
 (** {2 File I/O} *)