function arrayAppend<A> input array<A> arr1; input array<A> arr2; output array<A> arr; end arrayAppend;