Wakes one thread waiting on c, if any. Change the shared state under the mutex first; see wait for an example.
wake :: (c: *Condition_Variable)
Parameters
wake :: (c: *Condition_Variable)
Wakes one thread waiting on c, if any. Change the shared state under the mutex first; see wait for an example.
wake :: (c: *Condition_Variable)
wake :: (c: *Condition_Variable)