def decode.step.tag

bend-kit-protobuf@0.2.0.0 · protobuf.bend:250

import bend-kit-protobuf@0.2.0.0/protobuf.bend as Protobuf

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

250def decode.step.tag(depth: Nat, stack: List<&1, Frame>, acc: List<&1, Field>, tag: B.Cursor & Word64) -> Result<&2, &1, Error, DecodeState>:
251  (c, Word64{hi, +lo}) = tag
252  +number = (lo >> 3n : U32)
253  decode.step.valid(U32.is_zero(hi) && valid_number(number), (lo .&. 7 : U32), c, depth, stack, acc, number)

Uses (18)

Used by (1)

bend-kit-protobuf@0.2.0.0/protobuf:decode.step