Functor Concurrency.MakeLock


module Concurrency.MakeLock: 
functor (M : Extlib.Concurrent.BaseLock) -> Extlib.Concurrent.Lock with type t = M.t
Parameters:
M : Extlib.Concurrent.BaseLock

type t 
The type of a lock.
val create : unit -> Concurrency.Lock.t
val lock : Concurrency.Lock.t -> unit
val unlock : Concurrency.Lock.t -> unit
val try_lock : Concurrency.Lock.t -> bool
val synchronize : ?lock:Concurrency.Lock.t -> ('a -> 'b) -> 'a -> 'b
val make : unit -> Concurrency.lock