aboutsummaryrefslogtreecommitdiff
path: root/script.it/outline.ml
blob: 4962d8ed21021b3b2eed6f8232b8cb7776d984d9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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