~/jendhub

def snap.tries

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

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-collections@0.1.4.1/omap.bend as O

585def snap.tries(ts: Tries(), out: Bytes.Bytes) -> Bytes.Bytes:
586  match ts:
587    case O.OTip{}:
588      snap.u32(out, 0)
589    case O.OBin{+n, +k, Try{+f, +st}, lo, hi}:
590      snap.tries(hi, snap.tries(lo, snap.u64(snap.u64(snap.u64(snap.u32(snap.u32(out, 1), n), k), f), st)))

Uses (6)

Used by (1)