~/jendhub

def decode.tag

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

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

977def decode.tag(~A: Data, ~pdec: Bytes.Bytes -> Maybe<&2, A>, +len: U32, r: Bytes.Bytes & U32) -> Maybe<&2, Op<A>>:
978  (b, +tag) = r
979  decode.tag.if(~A, ~pdec, U32.is_eq(tag, 10), tag, len, b)

Uses (8)

Used by (1)