def integer.encode

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

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

527def integer.encode(+prefix: U32, +mask: U32, +value: U32) -> Bytes.Bytes:
528  integer.encoded(U32.is_lt(value, mask), prefix, mask, value)