def pr.key.size

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

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

163def pr.key.size(hit: Bool, +len: U32, a: Array<U32>) -> Bytes.Bytes & Maybe<&2, PKey>:
164  match hit:
165    case True{}:
166      (Bytes.Bytes{len, a}, Some{PSize{}})
167    case False{}:
168      (Bytes.Bytes{len, a}, Some{POther{}})