~/jendhub

def concat.total.con

bend-kit-bytes@0.3.3.0 · bytes.bend:383

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

383def concat.total.con(x: Bytes, r: List<&1, Bytes> & U32) -> List<&1, Bytes> & U32:
384  (t, n) = r
385  (Con{x, t}, n)

Uses (5)

Used by (1)