def init_band_entries.step
import bend-edit-distance@0.2.2.0/src/Myers.bend as Myersimport Base
173def init_band_entries.step(parts: List<&2, BandEntry> & List<&2, Peq>,
174 profile: Peq, bottom: U32) -> List<&2, BandEntry> & List<&2, Peq>:
175 match parts:
176 case (entries, rest):
177 (BandEntry{profile, Block{4294967295, 0, bottom}} <> entries, rest)