def with_number

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

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

47def with_number(-R: Type, r: Bytes.Bytes & Maybe<&2, U32>, k: Bytes.Bytes -> U32 -> R) -> R:
48  (b, m) = r
49  k(b, number(m))