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