Source file `grid_template_area.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
27
28
29
30
31
32
33
34
35
type t = {
  name : string;
  row_start : int;
  row_end : int;
  column_start : int;
  column_end : int;
}

let make ~name ~row_start ~row_end ~column_start ~column_end =
  { name; row_start; row_end; column_start; column_end }

let name t = t.name
let row_start t = t.row_start
let row_end t = t.row_end
let column_start t = t.column_start
let column_end t = t.column_end

let equal a b =
  String.equal a.name b.name && a.row_start = b.row_start
  && a.row_end = b.row_end
  && a.column_start = b.column_start
  && a.column_end = b.column_end

let compare a b =
  let c = String.compare a.name b.name in
  if c <> 0 then c
  else
    let c = Int.compare a.row_start b.row_start in
    if c <> 0 then c
    else
      let c = Int.compare a.row_end b.row_end in
      if c <> 0 then c
      else
        let c = Int.compare a.column_start b.column_start in
        if c <> 0 then c else Int.compare a.column_end b.column_end