def append.fin

lawful-bytes@0.1.1.0 · fast.bend:122

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

122def append.fin(+dl: U32, +sl: U32, r: Array<U32> & Array<U32>) -> D.Bytes & D.Bytes:
123  (db, sb) = r
124  (D.Bytes{dl, db}, D.Bytes{sl, sb})