def last_block_score

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

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

144def last_block_score(blocks: List<Block>, +padding: Nat) -> Nat:
145  match blocks:
146    case Nil{}:
147      0n
148    case Block{pv, mv, score} <> Nil{}:
149      U32.to_nat(get_block_cell_value(padding, pv, mv, score))
150    case _ <> rest:
151      last_block_score(rest, padding)

Uses (5)

Used by (0)

No other definition uses this definition.