def pr.start

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

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

309def pr.start(pax: Pax, r: Bytes.Cursor & U32) -> Bytes.Cursor & Maybe<&1, Pax>:
310  (c, +n) = r
311  pr.run(U32.to_nat(((n >> 1n) + 2 : U32)), (c, PGo{pax}))

Uses (11)

Used by (1)