def eocd.checked

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

import Base

222def eocd.checked(err: Maybe<&2, String>, a: Array<U32>, +x: List<&2, U32>) -> Array<U32> & Result<&1, &1, U32 & String, List<&2, Header>>:
223  match err:
224    case Some{m}:
225      (a, Fail{(22, m)})
226    case None{}:
227      +off = u32(x, 16)
228      cd.go(U32.to_nat(u16(x, 10)), (a, Done{(off, Nil{})}), (off + u32(x, 12) : U32), off)