def lh.push

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

import Base

123def lh.push(ok: Bool, a: Array<U32>, +hd: Header, +next: U32, acc: List<&2, Header>) -> Array<U32> & Result<&1, &1, U32 & String, U32 & List<&2, Header>>:
124  match ok:
125    case False{}:
126      (a, Fail{(22, "local header name differs from the central directory")})
127    case True{}:
128      (a, Done{(next, Con{hd, acc})})