def snap.brks

bend-kit-runner@0.13.0.1 · runner.bend:608

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-retry@0.3.0.0/retry.bend as Retry

608def snap.brks(xs: List<&2, Sigma<&2, &2, String, _ => Retry.State>>, out: Bytes.Bytes) -> Bytes.Bytes:
609  match xs:
610    case Nil{}:
611      snap.u32(out, 0)
612    case Con{(k, b), rest}:
613      snap.brks(rest, snap.brk(snap.key(snap.u32(out, 1), k), b))

Uses (8)

Used by (1)