def pr.key.path

bend-kit-tar@0.3.0.0 · tar.bend:174

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

174def pr.key.path(+i: U32, +len: U32, r: Array<U32> & Bool) -> Bytes.Bytes & Maybe<&2, PKey>:
175  (a, hit) = r
176  match hit:
177    case True{}:
178      (Bytes.Bytes{len, a}, Some{PPath{}})
179    case False{}:
180      pr.key.sized(len, Bytes.at(a, "size=", i))