def pr.more.if

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

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

282def pr.more.if(done: Bool, c: Bytes.Cursor, +n: U32, pax: Pax) -> Bytes.Cursor & Pst:
283  match done:
284    case True{}:
285      (c, PEnd{pax})
286    case False{}:
287      pr.len(n, pax, dec(c))

Uses (9)

Used by (1)