def trim_last

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

import Base

259def trim_last(entries: List<&2, BandEntry>, rest: List<&2, Peq>, +bottom: Nat,
260              +maximum: Nat, +length: Nat, +target_length: Nat,
261              +column: Nat) -> List<&2, BandEntry> & List<&2, Peq>:
262  match entries:
263    case Nil{}:
264      (Nil{}, rest)
265    case BandEntry{profile, Block{pv, mv, +score}} <> tail:
266      trim_last.join(BandEntry{profile, Block{pv, mv, score}},
267        trim_last(tail, rest, Nat.add(bottom, 32n), maximum, length, target_length, column),
268        band_keep_last(U32.to_nat(score), bottom, maximum, length, target_length, column))