def Octets.concat
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
602# the pieces joined in order, tail-recursive (LAWS.bend: octets_concat_*)
603def Octets.concat(os: List<&2, Octets>) -> Octets:
604 Octets{w8s.rev_onto(w8s.concat.go(os, Nil{}), Nil{})}