def reduce_band

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

import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers

import Base

298def reduce_band(entries: List<&2, BandEntry>, rest: List<&2, Peq>, +first: Nat,
299                +maximum: Nat, +length: Nat, +target_length: Nat,
300                +column: Nat, work: Nat) -> BandStep:
301  reduce_band.step(trim_last(entries, rest, Nat.mul(1n+first, 32n),
302    maximum, length, target_length, column), first, maximum, length, target_length, column, work)

Uses (8)

Used by (2)