def trim_last.join

bend-edit-distance@0.2.2.0 · src/Myers.bend:253

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

import Base

253def trim_last.join(entry: BandEntry, tail: List<&2, BandEntry> & List<&2, Peq>,
254                   keep: Bool) -> List<&2, BandEntry> & List<&2, Peq>:
255  match tail:
256    case (entries, rest):
257      trim_last.choose(entry, entries, rest, keep)

Uses (7)

Used by (2)