def name.join

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

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

120def name.join(+i: U32, +n: U32, +pl: U32, r: Array<U32> & Array<U32>) -> Array<U32> & Bytes.Bytes:
121  (a, o) = r
122  +some = U32.is_ne(pl, 0)
123  +off = Bool.pick(U32, some, (pl + 1 : U32), 0)
124  name.fin((off + n : U32), Bytes.copy(n, a, Bytes.poke.when(some, o, pl, 47), i, off))

Uses (11)

Used by (1)