def end_coordinate

bend-edit-distance@0.2.2.0 · EdlibTypes.bend:80

import Base

80def end_coordinate(length: Nat) -> Coordinate:
81  match length:
82    case 0n:
83      BeforeStart{}
84    case 1n+p:
85      Position{p}