~/jendhub

def decode.update

bend-kit-http2@0.4.0.0 · hpack.bend:434

import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
import Base

434def decode.update(+first: U32, st: State, c: Cursor, seen: Bool) -> Maybe<&1, Step>:
435  do Maybe<&1, Step>:
436    unused: Unit <- within(Bool.not(seen))
437    with_taken(Step, integer.after(first, 31, c), cursor => size =>
438      decode.update.value(size, st, cursor))

Uses (13)

Used by (1)