Up
–
coq-core
» Mutex_aux
Module
Mutex_aux
val
with_lock :
Mutex
.t
->
scope:
(
unit
->
'a
)
->
'a