X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fextlib%2FhExtlib.mli;h=73450ae11c62f7d860dcc9dface21a796767e132;hb=c780c9756b67d116b1d5b5149ae758fa613c5fe6;hp=0d8d0aeff6951973cc0f606e6ff9201d31b61bff;hpb=3c7cfd710f472bd56ba430cac8d2fa794eaecfe3;p=helm.git

diff --git a/components/extlib/hExtlib.mli b/components/extlib/hExtlib.mli
index 0d8d0aeff..73450ae11 100644
--- a/components/extlib/hExtlib.mli
+++ b/components/extlib/hExtlib.mli
@@ -120,6 +120,12 @@ val raise_localized_exception: offset:int -> Stdpp.location -> exn -> 'a
 (* size in KB (SLOW) *)
 val estimate_size: 'a -> int
 
-(* is_prefix_of [prefix] [string] *)
+(* is_prefix_of [prefix] [string], in terms of dirs:
+ * foo/bar/ is prefix of foo/bar/baz 
+ * foo/bar  is prefix of foo/bar/baz 
+ * foo/b    isn't of     foo/bar/baz
+ * foo/bar  is prefix of foo/bar 
+ *)
 val is_prefix_of: string -> string -> bool
+val chop_prefix: string -> string -> string
 val touch: string -> unit