functor
(
Control
:
Mutex_control
)
->
Mutex_t