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