def inspect.settings

bend-kit-http2@0.4.0.0 · http2.bend:160

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

160def inspect.settings(m: Maybe<&2, Error>, +flags: U32, +stream: U32, +len: U32, b: Bytes.Bytes) -> Checked:
161  match m:
162    case Some{e}:
163      Invalid{e}
164    case None{}:
165      with_settings(settings.go(U32.to_nat((len / 6 : U32)), b, 0, None{}), flags, stream)