~/jendhub

def band_step

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

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

340def band_step(band: Band, +symbol: U32, length: Nat, target_length: Nat,
341              column: Nat, maximum: Nat, padding: Nat) -> BandStep:
342  match band:
343    case Band{+first, entries, rest}:
344      band_step.updated(advance_band(entries, symbol, Carry{1, 0}, Nat.mul(1n+first, 32n)),
345        rest, first, symbol, length, target_length, column, maximum, padding)

Uses (8)

Used by (1)