document how arguments are made available to native array trait subs