~/jendhub

def eocd.found

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

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

234def eocd.found(r: Array<U32> & Maybe<&2, U32>) -> Array<U32> & Result<&1, &1, U32 & String, List<&2, Header>>:
235  (a, m) = r
236  match m:
237    case None{}:
238      (a, Fail{(22, "no end of central directory record")})
239    case Some{+e}:
240      eocd.parse(grab(a, e, 22), e)

Uses (11)

Used by (1)