module type Mutex_control =Information used to initialize a Mutex module.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