X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenutils.ml;h=ca26755581c45e363a0eea475f033a80c81ec29e;hp=583d0302e25d6812d42d16dfa3be917dc7f83a0e;hb=25ee84aead794e530fe705497d2a2c744ce77d3b;hpb=adc311d69459345a9ce23864d7aa41a7a6b97b42 diff --git a/lib/whenutils.ml b/lib/whenutils.ml index 583d030..ca26755 100644 --- 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 +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