def reduce_band.step

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

import Base

291def reduce_band.step(parts: List<&2, BandEntry> & List<&2, Peq>, first: Nat,
292                     +maximum: Nat, length: Nat, target_length: Nat,
293                     column: Nat, work: Nat) -> BandStep:
294  match parts:
295    case (entries, rest):
296      BandStep{trim_first(entries, rest, first, maximum, length, target_length, column), maximum, work}