~/jendhub

def with_number

bend-kit-http2@0.4.0.0 · huffman.bend:1262

import bend-kit-http2@0.4.0.0/huffman.bend as Huffman
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

1262def with_number(-R: Type, r: Bytes.Bytes & Maybe<&2, U32>, k: Bytes.Bytes -> U32 -> R) -> R:
1263  (b, m) = r
1264  with_number.got(R, m, b, k)

Uses (6)

Used by (1)