(range: readonly [number, number])
| 2223 | } |
| 2224 | |
| 2225 | function rangeWidth(range: readonly [number, number]): number { |
| 2226 | return range[1] - range[0] |
| 2227 | } |
| 2228 | |
| 2229 | function seeTargetNames(link: ParsedInlineLink): ReadonlySet<string> { |
| 2230 | const names = new Set<string>() |