def cd.fin.end

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

import Base

109def cd.fin.end(ok: Bool, acc: List<&2, Header>) -> Result<&1, &1, U32 & String, List<&2, Header>>:
110  match ok:
111    case True{}:
112      Done{List.reverse(&2, Header, acc)}
113    case False{}:
114      Fail{(22, "central directory size does not match its entries")}