type Coordinate

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

import Base

41type Coordinate is Data:
42  BeforeStart{}
43  Position{index: Nat}