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