~/jendhub

def init_band_entries

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

import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
import Base

179def init_band_entries(fuel: Nat, profiles: List<&2, Peq>,
180                      +bottom: U32) -> List<&2, BandEntry> & List<&2, Peq>:
181  match fuel profiles:
182    case 0n _:
183      (Nil{}, profiles)
184    case _ Nil{}:
185      (Nil{}, Nil{})
186    case 1n+p profile <> tail:
187      init_band_entries.step(init_band_entries(p, tail, U32.add(bottom, 32)), profile, bottom)

Uses (9)

Used by (2)