def advance_band.join

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

import Base

201def advance_band.join(entry: BandEntry, updated: UpdatedBand) -> UpdatedBand:
202  match updated:
203    case UpdatedBand{entries, score, carry, bottom}:
204      UpdatedBand{entry <> entries, score, carry, bottom}