def pr.len.valid

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

import bend-kit-tar@0.3.0.0/tar.bend as Tar

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

269def pr.len.valid(ok: Bool, c: Bytes.Cursor, +body: U32, pax: Pax) -> Bytes.Cursor & Pst:
270  match ok:
271    case False{}:
272      (c, PBad{})
273    case True{}:
274      pr.body(pax, Bytes.Cursor.region(c, body))

Uses (9)

Used by (1)

bend-kit-tar@0.3.0.0/tar:pr.len