diff options
Diffstat (limited to 'script.it/outline.ml')
-rwxr-xr-x | script.it/outline.ml | 21 |
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) |