Void texec(Void(a1, a2, a3, a4, a5) f, a1() arg1, a2() arg2, a3() arg3, a4() arg4, a5() arg5)
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).
