module MakeLock: functor (M : BaseLock) -> Lock with type t = M.t
functor (
M
:
BaseLock
) ->
Lock
with type t = M.t
type t
val create : unit -> t
unit -> t
val lock : t -> unit
t -> unit
val unlock : t -> unit
val try_lock : t -> bool
t -> bool
val synchronize : ?lock:t -> ('a -> 'b) -> 'a -> 'b
?lock:t -> ('a -> 'b) -> 'a -> 'b
val make : unit -> BatConcurrent.lock
unit -> BatConcurrent.lock