Miscellaneous utility functions.

[whenjobs.git] / lib / whenutils.ml

diff --git a/lib/whenutils.ml b/lib/whenutils.ml
index 643da7d..461af5a 100644 (file)
--- a/lib/whenutils.ml
+++ b/lib/whenutils.ml
@@ -31,8 +31,16 @@ module StringMap = struct
   let values m = fold (fun _ v vs -> v :: vs) m []
 end
 
+module IntMap = struct
+  include Map.Make (struct type t = int let compare = compare end)
+  let keys m = fold (fun k _ ks -> k :: ks) m []
+  let values m = fold (fun _ v vs -> v :: vs) m []
+end
+
 module StringSet = Set.Make (String)
 
+let (//) = Filename.concat
+
 let rec filter_map f = function
   | [] -> []
   | x :: xs ->