def coordinate_show

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

import Base

94def coordinate_show(position: Coordinate) -> String:
95  match position:
96    case BeforeStart{}:
97      "-1"
98    case Position{index}:
99      Nat.show(index)