def snap.run

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-scheduler@0.4.1.0/queue.bend as Q

578def snap.run(~A: Data, ~penc: A -> Bytes.Bytes, xs: List<&2, Q.Ticket<A>>, out: Bytes.Bytes) -> Bytes.Bytes:
579  match xs:
580    case Nil{}:
581      snap.u32(out, 0)
582    case Con{t, rest}:
583      snap.run(~A, ~penc, rest, snap.ticket(~A, ~penc, snap.u32(out, 1), t))