def pr.size.valid

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

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

204def pr.size.valid(ok: Bool, c: Bytes.Cursor, +v: U32, path: Maybe<&1, Bytes.Bytes>) -> Bytes.Cursor & Pst:
205  match ok:
206    case True{}:
207      (c, PGo{Pax{path, Some{v}}})
208    case False{}:
209      (c, PBad{})