def expand_semiglobal.result
bend-edit-distance@0.2.2.0 · src/Myers.bend:487
import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E
487def expand_semiglobal.result(result: Block & Carry, entries: List<&2, BandEntry>,
488 profile: Peq, rest: List<&2, Peq>, mode: E.Mode,
489 maximum: Nat) -> Band:
490 match result:
491 case (block, _):
492 reduce_semiglobal(trim_semiglobal(
493 List.append(&2, BandEntry, entries, [BandEntry{profile, block}]), rest, mode, 0n, maximum))