Module Mutex.Control

type priority
val scheduler : priority scheduler
val priority : priority