Source file `grid_repetition.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
type t = {
  count : Repetition_count.t;
  tracks : Track_sizing_function.t list;
  line_names : string list list;
}

let make ~count ~tracks ~line_names = { count; tracks; line_names }
let count t = t.count
let tracks t = t.tracks
let line_names t = t.line_names

let equal a b =
  Repetition_count.equal a.count b.count
  && List.equal Track_sizing_function.equal a.tracks b.tracks
  && List.equal (List.equal String.equal) a.line_names b.line_names

let compare a b =
  let c = Repetition_count.compare a.count b.count in
  if c <> 0 then c
  else
    let c = List.compare Track_sizing_function.compare a.tracks b.tracks in
    if c <> 0 then c
    else List.compare (List.compare String.compare) a.line_names b.line_names

let is_auto_repetition t = Repetition_count.is_auto t.count
let track_count t = List.length t.tracks