def expand_band.step

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

import Base

304def expand_band.step(result: Block & Carry, entries: List<&2, BandEntry>, profile: Peq,
305                     rest: List<&2, Peq>, first: Nat, maximum: Nat, length: Nat,
306                     target_length: Nat, column: Nat, work: Nat) -> BandStep:
307  match result:
308    case (block, _):
309      reduce_band(List.append(&2, BandEntry, entries, [BandEntry{profile, block}]),
310        rest, first, maximum, length, target_length, column, 1n+work)