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

import Base

def expand_band(entries: List<&2, BandEntry>, rest: List<&2, Peq>, +score: U32,
                carry: Carry, +symbol: U32, first: Nat, +maximum: Nat,
                length: Nat, target_length: Nat, column: Nat,
                work: Nat, expand: Bool) -> BandStep:
  match rest carry expand:
    case +profile <> tail Carry{+positive, +negative} True{}:
      previous = U32.add(U32.sub(U32.add(score, negative), positive), 32)
      expand_band.step(calculate_block(Block{4294967295, 0, previous},
        peq_get(profile, symbol, U32.is_ne(U32.and(symbol, 1), 0)), Carry{positive, negative}),
        entries, profile, tail, first, maximum, length, target_length, column, work)
    case _ _ _:
      reduce_band(entries, rest, first, maximum, length, target_length, column, work)

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ne
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  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=BandStep
  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=Carry
  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=calculate_block
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=expand_band.step
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=peq_get
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=reduce_band