functor (Control : Mutex_control-> Mutex_t