summaryrefslogblamecommitdiff
path: root/khb/util.ml
blob: 0d278d6eea81c884890b054908d9622273f3b28d (plain) (tree)
1
2
3
4
5
6
7
8
9
10









                                         
module Int = struct
    type t = int
    let compare = Pervasives.compare
end

module Smap = Map.Make(String)
module Imap = Map.Make(Int)

let (^^) a b = (a || b) && (not (a && b))