~/jendhub

def collect

bend-edit-distance@0.2.2.0 · src/DistanceDP.bend:122

import bend-edit-distance@0.2.2.0/src/DistanceDP.bend as DistanceDP
import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

122def collect(cells: List<U32>, +index: Nat, +best: Best) -> Best:
123  match cells:
124    case Nil{}:
125      best
126    case +score <> tail:
127      Best{old, _} = best
128      collect(tail, 1n+index, collect_best(best, score, E.Position{index}, U32.cmp(score, old)))

Uses (7)

Used by (1)