def ends

bend-edit-distance@0.2.2.0 · src/Alignment.bend:28

import bend-edit-distance@0.2.2.0/src/Alignment.bend as Alignment

import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

28def ends(locations: List<&2, Location>) -> List<&2, E.Coordinate>:
29  match locations:
30    case Nil{}:
31      Nil{}
32    case Location{end, _} <> tail:
33      end <> ends(tail)

Uses (3)

Used by (2)