module Control: Duppy.Monad.Mutex.Mutex_control
Duppy.Monad.Mutex.Mutex_control
type priority
val scheduler : priority Duppy.scheduler
priority Duppy.scheduler
val priority : priority
priority