def headers.fin
import bend-kit-archive@0.5.1.0/archive.bend as Archiveimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
250def headers.fin(+len: U32, r: Array<U32> & Result<&1, &1, U32 & String, List<&2, Header>>) -> Bytes.Bytes & Result<&1, &1, U32 & String, List<&2, Header>>:
251 (a, res) = r
252 (Bytes.Bytes{len, a}, res)