def restore.loop.start

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:885

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

885def restore.loop.start(
886  copies: Bytes.Bytes & Bytes.Bytes & Bytes.Bytes,
887  entry_count: U32,
888  +block_count: U32
889) -> Result<&1, &1, Error, Decoded>:
890  match copies:
891    case (for_state, for_retained, for_open):
892      restore.loop(U32.to_nat(block_count),
893        State{(for_state, for_retained), 20n, entry_count, block_count,
894          U32.to_nat(block_count), 0n, 0n, Nil{}},
895        restore.block.open(for_open, 20n, 0))