def init_blocks

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

import Base

87def init_blocks(n: Nat, +bottom: U32) -> List<Block>:
88  match n:
89    case 0n:
90      Nil{}
91    case 1n+p:
92      Block{4294967295, 0, bottom} <> init_blocks(p, U32.add(bottom, 32))