Module type Duppy.Monad.Mutex.Mutex_control

module type Mutex_control = sig .. end

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