diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-05-24 22:13:19 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:22:43 +0100 |
| commit | 38cf58ac5e1adb38a1b99ea7cdda19ef7b5e12bf (patch) | |
| tree | 4f94bff126e1dff186e0dafe5fca86657233acb1 /script.it/outline.ml | |
| parent | 1a53943340d068a1dbcef2f006e44905bab47bff (diff) | |
Refactor
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) |