aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/int.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/int.ml')
-rw-r--r--lib/int.ml9
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/int.ml b/lib/int.ml
index 19cdfac0a..86d79fd31 100644
--- a/lib/int.ml
+++ b/lib/int.ml
@@ -13,3 +13,12 @@ external equal : int -> int -> bool = "%eq"
external compare : int -> int -> int = "caml_int_compare"
let hash i = i land max_int
+
+module Self =
+struct
+ type t = int
+ let compare = compare
+end
+
+module Set = Set.Make(Self)
+module Map = Map.Make(Self)