~/jendhub

def advance_band.next

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

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

211def advance_band.next(result: Block & Carry, profile: Peq,
212                      tail: Carry -> UpdatedBand) -> UpdatedBand:
213  match result:
214    case (next, carry):
215      advance_band.join(BandEntry{profile, next}, tail(carry))

Uses (8)

Used by (1)