From 38cf58ac5e1adb38a1b99ea7cdda19ef7b5e12bf Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 24 May 2021 22:13:19 +0200
Subject: Refactor

---
 script.it/outline.ml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100755 script.it/outline.ml

(limited to 'script.it/outline.ml')

diff --git a/script.it/outline.ml b/script.it/outline.ml
deleted file mode 100755
index 1df7588..0000000
--- a/script.it/outline.ml
+++ /dev/null
@@ -1,21 +0,0 @@
-open StdLabels
-
-let internal_path_id = ref 0
-
-type t =
-  { id : int
-  ; path: Path.Fixed.t
-  ; back: Path.Fixed.t
-  }
-
-let get_id () =
-  let id = !internal_path_id in
-  incr internal_path_id;
-  id
-
-let find
-  : t list -> int -> t option
-  = fun ts id ->
-    List.find_opt
-      ts
-      ~f:(fun p -> p.id = id)
-- 
cgit v1.2.3