def semiglobal_step
import bend-edit-distance@0.2.2.0/src/Myers.bend as Myersimport Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E
517def semiglobal_step(band: Band, +symbol: U32, +mode: E.Mode, maximum: Nat) -> Band:
518 match band:
519 case Band{_, entries, rest}:
520 expand_semiglobal(advance_band(entries, symbol, semiglobal_carry(mode), 32n),
521 rest, symbol, mode, maximum)