def trim_first.step

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

import Base

270def trim_first.step(entry: BandEntry, tail: List<&2, BandEntry>, rest: List<&2, Peq>,
271                    first: Nat, keep: Bool, next: Unit -> Band) -> Band:
272  match keep:
273    case True{}:
274      Band{first, entry <> tail, rest}
275    case False{}:
276      next(Unit{})