(a: Position, b: Position)
| 93 | } |
| 94 | |
| 95 | export function minPosition(a: Position, b: Position): Position { |
| 96 | if (a.line < b.line) { |
| 97 | return a; |
| 98 | } else if (a.line > b.line) { |
| 99 | return b; |
| 100 | } else { |
| 101 | return a.character < b.character ? a : b; |
| 102 | } |
| 103 | } |