Myers.trim_last: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
Lines 259-268 of bend-edit-distance@0.2.2.0/src/Myers.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&start_line=259&end_line=268

import Base

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

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=BandEntry
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=Block
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=Peq
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=band_keep_last
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=trim_last.join