package toffee
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 35type 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