module type Mutex_control =sig
..end
priority
and scheduler
are used to initialize a task
which treat mutexes as well as conditions from the below
Condition
module.type
priority
val scheduler : priority Duppy.scheduler
val priority : priority