def encode.finish
import bend-kit-http2@0.4.0.0/hpack.bend as Hpackimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
640def encode.finish(r: State & List<&1, Bytes.Bytes>) -> State & Bytes.Bytes:
641 (st, pieces) = r
642 (st, Bytes.concat(List.reverse(&1, Bytes.Bytes, pieces)))