X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fextlib%2FhExtlib.mli;h=0d8d0aeff6951973cc0f606e6ff9201d31b61bff;hb=fa0347cc0a604ba8743da9479117e1f13ab60482;hp=07de4bea60efc18a97e5eb7404abd33ef3be3a81;hpb=e5141edaab98baafa31173da8164fa5d87b808c5;p=helm.git

diff --git a/components/extlib/hExtlib.mli b/components/extlib/hExtlib.mli
index 07de4bea6..0d8d0aeff 100644
--- a/components/extlib/hExtlib.mli
+++ b/components/extlib/hExtlib.mli
@@ -49,7 +49,8 @@ val normalize_path: string -> string (** /foo/./bar/..//baz -> /foo/baz *)
 val find: ?test:(string -> bool) -> string -> string list 
 
   (** find_in paths name returns the first path^"/"^name such that 
-   *  is a regular file and the current user can 'stat' it. May raise Failure. *)
+   *  is a regular file and the current user can 'stat' it. 
+   *  May raise (Failure "find_in") *)
 val find_in: string list -> string -> string
 
 (** {2 File I/O} *)
@@ -119,3 +120,6 @@ val raise_localized_exception: offset:int -> Stdpp.location -> exn -> 'a
 (* size in KB (SLOW) *)
 val estimate_size: 'a -> int
 
+(* is_prefix_of [prefix] [string] *)
+val is_prefix_of: string -> string -> bool
+val touch: string -> unit