X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fwhenutils.mli;fp=lib%2Fwhenutils.mli;h=c9359063e1accbc08d5ed212973bb3449579a01f;hb=973fae9b3be949857be0612dd71280156121f82e;hp=b2a88781a2ef159313c16d15192a1358b4f7c26e;hpb=b4c17aa54ea52d8bde6212df1f7eb94a6e3a998c;p=whenjobs.git

diff --git a/lib/whenutils.mli b/lib/whenutils.mli
index b2a8878..c935906 100644
--- a/lib/whenutils.mli
+++ b/lib/whenutils.mli
@@ -81,6 +81,9 @@ module StringSet : sig
 end
 (** A set of strings. *)
 
+val filter_map : ('a -> 'b option) -> 'a list -> 'b list
+(** Filter + map. *)
+
 type whenexpr =
   | Expr_bool of bool                   (** A boolean constant. *)
   | Expr_str of string                  (** A string constant. *)