def three.join
import bend-parallel@0.1.0.0/sort.bend as Sortimport Base
74def three.join(l: Three, r: Three) -> Three:
75 Three{la, lb, lc} = l
76 Three{ra, rb, rc} = r
77 Three{Array.join(U32, la, ra), Array.join(U32, lb, rb), Array.join(U32, lc, rc)}