~/jendhub

def Parse.byte

bend-trace-context@0.2.0.0 · trace_context.bend:829

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base
import bend-trace-context@0.2.0.0/src/digits.bend as Digits

829# Read one cell as a byte.
830def Parse.byte(+cell: U32, offset: Nat) -> Result<&2, &2, Error, Digits.Digits(2n)>:
831  Parse.byte.checked(cell, U32.is_gt(cell, 255), offset)

Uses (7)

Used by (1)