~/jendhub

def decode.a

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

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

966def decode.a(~A: Data, ~pdec: Bytes.Bytes -> Maybe<&2, A>, +tag: U32, +len: U32, r: Bytes.Bytes & Nat) -> Maybe<&2, Op<A>>:
967  (b, +a) = r
968  decode.kind(~A, ~pdec, U32.is_eq(tag, 1), tag, len, a, b)

Uses (9)

Used by (1)