From 807c590113718d8c20419ab31782dd0368e2b045 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 18 Nov 2021 15:24:27 +0100
Subject: Start working on the values for the interpreter

---
 src/Identifiers.ml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'src/Identifiers.ml')

diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index 28ed1909..7d440f4d 100644
--- a/src/Identifiers.ml
+++ b/src/Identifiers.ml
@@ -17,7 +17,9 @@ module type Id = sig
 
   val to_string : id -> string
 
-  val empty : 'a vector
+  val empty_vector : 'a vector
+
+  module Set : Set.S with type elt = id
 
   val id_of_json : Yojson.Basic.t -> (id, string) result
 
@@ -47,7 +49,13 @@ module IdGen () : Id = struct
 
   let to_string = string_of_int
 
-  let empty = []
+  let empty_vector = []
+
+  module Set = Set.Make (struct
+    type t = id
+
+    let compare = compare
+  end)
 
   let id_of_json js =
     match js with
-- 
cgit v1.2.3