Myers.trim_first: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
Lines 278-289 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=278&end_line=289

import Base

def trim_first(entries: List<&2, BandEntry>, +rest: List<&2, Peq>, +first: Nat,
               +maximum: Nat, +length: Nat, +target_length: Nat,
               +column: Nat) -> Band:
  match entries:
    case Nil{}:
      Band{first, Nil{}, rest}
    case BandEntry{profile, Block{pv, mv, +score}} <> +tail:
      trim_first.step(BandEntry{profile, Block{pv, mv, score}}, tail, rest,
        first,
        band_keep_first(U32.to_nat(score), Nat.mul(1n+first, 32n),
          maximum, length, target_length, column),
        _ => trim_first(tail, rest, 1n+first, maximum, length, target_length, column))

Uses (10):
  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.mul
  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=Band
  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_first
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=trim_first.step