(a: Position, b: Position)
| 83 | } |
| 84 | |
| 85 | export function maxPosition(a: Position, b: Position): Position { |
| 86 | if (a.line > b.line) { |
| 87 | return a; |
| 88 | } else if (a.line < b.line) { |
| 89 | return b; |
| 90 | } else { |
| 91 | return a.character > b.character ? a : b; |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | export function minPosition(a: Position, b: Position): Position { |
| 96 | if (a.line < b.line) { |