git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Version 0.7.0.
[whenjobs.git]
/
lib
/
whenutils.ml
diff --git
a/lib/whenutils.ml
b/lib/whenutils.ml
index
583d030
..
ca26755
100644
(file)
--- a/
lib/whenutils.ml
+++ b/
lib/whenutils.ml
@@
-37,6
+37,12
@@
module IntMap = struct
let values m = fold (fun _ v vs -> v :: vs) m []
end
let values m = fold (fun _ v vs -> v :: vs) m []
end
+module BigIntMap = struct
+ include Map.Make (struct type t = big_int let compare = compare_big_int 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
module StringSet = Set.Make (String)
let (//) = Filename.concat