~/jendhub

def headers

bend-kit-archive@0.5.1.0 · archive.bend:254

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

254# The input back, and its central directory with every bound, local header, and method checked. Pure: no data is decoded.
255def headers(input: Bytes.Bytes) -> Bytes.Bytes & Result<&1, &1, U32 & String, List<&2, Header>>:
256  Bytes.Bytes{+len, buf} = input
257  headers.fin(len, headers.at(U32.is_lt(len, 22), buf, len))

Uses (10)

Used by (1)