X-Git-Url: http://git.annexia.org/?p=mclu.git;a=blobdiff_plain;f=utils.mli;h=ae84c74e64871baee99e9eda277d1bfa802bb22e;hp=e3800cf3ce1e0d1ca7572cefb090717efbe73e55;hb=0828c34208a46b7a2e1b03b7c93f907bf900c050;hpb=b29a837444aa5827b683bee5a7457fbb32305ae5

diff --git a/utils.mli b/utils.mli
index e3800cf..ae84c74 100644
--- a/utils.mli
+++ b/utils.mli
@@ -29,6 +29,9 @@ val ( &^ ) : int64 -> int64 -> int64
 val ( ~^ ) : int64 -> int64
 (** Various int64 operators. *)
 
+val filter_map : ('a -> 'b option) -> 'a list -> 'b list
+(** {!List.map} + {!List.filter} *)
+
 val human_size : int64 -> string
 (** Turn a bytes count into a human-readable string (eg. [4.0G]). *)