From bfafa7dbc3325749358538a95cbb4831db66b03c Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 12 Mar 2014 10:11:12 +0100
Subject: First commit

---
 khb/util.ml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 khb/util.ml

(limited to 'khb/util.ml')

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))
-- 
cgit v1.2.3