def packed.start.blocks

mylsm-lsm-store@0.6.0.1 · src/hub_sha/sha256.bend:167

import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
import bend-kit-bytes@0.3.2.0/bytes.bend as Packed

167def packed.start.blocks(+total: U32, cursor: Packed.Cursor, blocks: Nat, +tail_len: Nat) -> List<&2, U32>:
168  match blocks:
169    case 0n:
170      packed.final(total, tail_len, cursor, Core.initial())
171    case 1n+more:
172      packed.after_blocks(total, tail_len,
173        packed.blocks(((1n+more) * 16n : Nat), 16n, Packed.Cursor.u32be(cursor), Nil{}, Core.initial()))