def decode.kind

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

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

959def decode.kind(~A: Data, ~pdec: Bytes.Bytes -> Maybe<&2, A>, enq: Bool, +tag: U32, +len: U32, +a: Nat, b: Bytes.Bytes) -> Maybe<&2, Op<A>>:
960  match enq:
961    case True{}:
962      decode.payload(A, pdec(Bytes.snd(Bytes.slice(b, 12, (len - 12 : U32)))), a)
963    case False{}:
964      decode.c(~A, ~pdec, tag, len, a, get.u64(b, 12))