def band_last_score

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

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

import Base

347def band_last_score(entries: List<&2, BandEntry>, +padding: Nat) -> Nat:
348  match entries:
349    case Nil{}:
350      0n
351    case BandEntry{_, Block{pv, mv, score}} <> Nil{}:
352      U32.to_nat(get_block_cell_value(padding, pv, mv, score))
353    case _ <> tail:
354      band_last_score(tail, padding)

Uses (6)

Used by (2)