def init_band.step
import bend-edit-distance@0.2.2.0/src/Myers.bend as Myersimport Base
189def init_band.step(parts: List<&2, BandEntry> & List<&2, Peq>) -> Band:
190 match parts:
191 case (entries, rest):
192 Band{0n, entries, rest}
import bend-edit-distance@0.2.2.0/src/Myers.bend as Myersimport Base
189def init_band.step(parts: List<&2, BandEntry> & List<&2, Peq>) -> Band:
190 match parts:
191 case (entries, rest):
192 Band{0n, entries, rest}