~/jendhub

def size.one

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

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

1144def size.one(+octet: U32, +total: U32) -> Maybe<&2, U32>:
1145  +n = width(octet)
1146  size.valid(Bool.and(U32.is_ne(n, 0), U32.is_le(total, (4294967295 - n : U32))), total, n)

Uses (8)

Used by (1)