module Mutex: sig .. end
sig
end
Mutex.lock m
module type Mutex_control = sig .. end
module type Mutex_t = sig .. end
module Factory: functor (Control : Mutex_control) -> Mutex_t
functor (
Control
:
Mutex_control
) ->
Mutex_t