def lh.name

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

import Base

134def lh.name(err: Maybe<&2, String>, a: Array<U32>, +lname: U32, +hd: Header, +next: U32, acc: List<&2, Header>) -> Array<U32> & Result<&1, &1, U32 & String, U32 & List<&2, Header>>:
135  match err:
136    case Some{m}:
137      (a, Fail{(22, m)})
138    case None{}:
139      Header{+name, +nlen, method, crc, packed, size, data} = hd
140      lh.same(same.go(U32.to_nat(nlen), (a, True{}), name, lname), hd, next, acc)