summaryrefslogtreecommitdiff
path: root/khb/util.ml
diff options
context:
space:
mode:
Diffstat (limited to 'khb/util.ml')
-rw-r--r--khb/util.ml10
1 files changed, 10 insertions, 0 deletions
diff --git a/khb/util.ml b/khb/util.ml
new file mode 100644
index 0000000..0d278d6
--- /dev/null
+++ b/khb/util.ml
@@ -0,0 +1,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))