~/jendhub

def trim_last.choose

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

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

245def trim_last.choose(entry: BandEntry, entries: List<&2, BandEntry>, rest: List<&2, Peq>,
246                     keep: Bool) -> List<&2, BandEntry> & List<&2, Peq>:
247  match entry entries keep:
248    case BandEntry{profile, _} Nil{} False{}:
249      (Nil{}, profile <> rest)
250    case _ _ _:
251      (entry <> entries, rest)

Uses (6)

Used by (1)