From 115960297c2f9cf839d51232dd2961e0d4817657 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 22 Nov 2021 19:52:49 +0100
Subject: Make progress on {read,write}_path

---
 src/Identifiers.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Identifiers.ml')

diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index 51a22072..04c5427b 100644
--- a/src/Identifiers.ml
+++ b/src/Identifiers.ml
@@ -21,6 +21,8 @@ module type Id = sig
 
   val vector_of_list : 'a list -> 'a vector
 
+  val nth_opt : 'a vector -> id -> 'a option
+
   module Set : Set.S with type elt = id
 
   val set_to_string : Set.t -> string
@@ -59,6 +61,8 @@ module IdGen () : Id = struct
 
   let vector_of_list v = v
 
+  let nth_opt v id = List.nth_opt v id
+
   module Set = Set.Make (struct
     type t = id
 
-- 
cgit v1.2.3