Module Memprof_coq.Mutex_aux

val with_lock : Mutex.t -> scope:(unit -> 'a) -> 'a