module Mutex:sig..end
This module implements monadic
mutex computations. They can be used
to write blocking code that is compatible
with duppy's tasks, i.e. Mutex.lock m blocks
the calling computation and not the calling thread.
module type Mutex_control =sig..end
Information used to initialize a Mutex module.
module type Mutex_t =sig..end
module Factory: