Lines Matching refs:signal
126 fun signal cond = (*requires SYNCHRONIZED*)
127 ConditionVar.signal cond;
211 val _ = if maximal then () else signal work_available;
223 signal work_available;
229 | some => (signal work_available; some))
303 else signal work_available;
314 signal work_available);
333 signal work_available; true)
363 val _ = signal work_available;
438 val _ = if minimal then signal work_available else ();