diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-12 10:11:12 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-12 10:11:12 +0100 |
commit | bfafa7dbc3325749358538a95cbb4831db66b03c (patch) | |
tree | 1eefa8d984472cb47f80b1ff1362c01675d0faa6 /khb/util.ml | |
download | SystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.tar.gz SystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.zip |
First commit
Diffstat (limited to 'khb/util.ml')
-rw-r--r-- | khb/util.ml | 10 |
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)) |