def advance_band.last

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

import Base

206def advance_band.last(result: Block & Carry, profile: Peq, bottom: Nat) -> UpdatedBand:
207  match result:
208    case (Block{+pv, +mv, +score}, carry):
209      UpdatedBand{[BandEntry{profile, Block{pv, mv, score}}], score, carry, bottom}