def decode
import bend-kit-http2@0.4.0.0/huffman.bend as Huffmanimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
1291def decode(b: Bytes.Bytes) -> Maybe<&2, String>:
1292 Bytes.Bytes{+len, buf} = b
1293 decode.finish(decode.go(U32.to_nat(len), Bytes.Bytes{len, buf}, 0, Decoder{0, 0, SNil{}}))