diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 21:56:04 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 21:56:04 +0200 |
| commit | 0140792c8111d2dd1cf9004f2e3e602ec34ed30a (patch) | |
| tree | edce9a1f3f65d1ad107e9e9dd2d28797e653a67d /_khb_experiment/util.ml | |
| parent | 8456506c0b9c8e78eec2cc464851cef36ca03398 (diff) | |
| download | SystemeReseaux-Projet-0140792c8111d2dd1cf9004f2e3e602ec34ed30a.tar.gz SystemeReseaux-Projet-0140792c8111d2dd1cf9004f2e3e602ec34ed30a.zip | |
Cleanup.
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)) |