From 25d52d1e3ae8b1b831be5ef933fa030f0492bb35 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Fri, 16 Mar 2018 13:22:38 +0800
Subject: [PATCH] Add Lib.Map

---
 src/lib.ml  | 6 ++++++
 src/lib.mli | 2 ++
 2 files changed, 8 insertions(+)

diff --git a/src/lib.ml b/src/lib.ml
index 78a59520..fb7cbe41 100644
--- a/src/lib.ml
+++ b/src/lib.ml
@@ -374,6 +374,12 @@ struct
   let compare x y = compare x.unique_id y.unique_id
 end)
 
+module Map = Map.Make(
+struct
+  type nonrec t = t
+  let compare x y = compare x.unique_id y.unique_id
+end)
+
 module L = struct
   type nonrec t = t list
 
diff --git a/src/lib.mli b/src/lib.mli
index dee866de..6a312386 100644
--- a/src/lib.mli
+++ b/src/lib.mli
@@ -32,6 +32,8 @@ val unique_id : t -> int
 
 module Set : Set.S with type elt = t
 
+module Map : Map.S with type key = t
+
 module Status : sig
   type t =
     | Installed