Sorry, I was wrong. If you use MirWaitHandle as the "op" type above then you could implement wait-for-many functionality.
Sorry, I was wrong. If you use MirWaitHandle as the "op" type above then you could implement wait-for-many functionality.