~/jendhub

def decode.rec.tag

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

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

1019def decode.rec.tag(~A: Data, ~pdec: Bytes.Bytes -> Maybe<&2, A>, r: Bytes.Bytes & U32) -> Maybe<&2, Rec<A>>:
1020  (b, +tag) = r
1021  decode.rec.if(~A, ~pdec, U32.is_eq(tag, 7), b)

Uses (8)

Used by (1)