X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.mli;fp=src%2Futils.mli;h=e3981cd6951370e9812d90ae4d62f18207560c32;hb=315ceff80b09b76959a067fa2f3288f22d2e55da;hp=cb99fad8931a81d96bc97b2a9cfce49943b04b46;hpb=214f84c3b07227767fef90934895a167b15113a1;p=goals.git

diff --git a/src/utils.mli b/src/utils.mli
index cb99fad..e3981cd 100644
--- a/src/utils.mli
+++ b/src/utils.mli
@@ -20,6 +20,12 @@
 val failwithf : ('a, unit, string, 'b) format4 -> 'a
 (** Like [failwith] but supports printf-like arguments. *)
 
+val (//) : string -> string -> string
+(** The {!Filename.concat} function. *)
+
+val is_directory : string -> bool
+(** Return true iff parameter is a directory. *)
+
 val filter_map : ('a -> 'b option) -> 'a list -> 'b list
 (** [filter_map f l] applies [f] to every element of [l], filters
     out the [None] elements and returns the list of the arguments of