def encode.copy
import bend-kit-websocket@0.4.0.0/websocket.bend as Websocketimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
346def encode.copy(+len: U32, src: Array<U32>, +hs: U32, b: Bytes.Bytes) -> Bytes.Bytes:
347 Bytes.Bytes{+n, dst} = b
348 Bytes.Bytes{n, Bytes.dst(Bytes.copy(len, src, dst, 0, hs))}