Void texec(Void(a1, a2, a3, a4, a5, a6, a7) f, a1() arg1, a2() arg2, a3() arg3, a4() arg4, a5() arg5, a6() arg6, a7() arg7)
Usage
Apply function f to the results of running a1-an. Each argument ai is a computation which will be run concurrently with the other arguments, so they must be independent (i.e. not modify any shared state).
