aboutsummaryrefslogtreecommitdiff
path: root/script.it/outline.ml
diff options
context:
space:
mode:
Diffstat (limited to 'script.it/outline.ml')
-rwxr-xr-xscript.it/outline.ml21
1 files changed, 0 insertions, 21 deletions
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)