include Mutex
type t = Mutex.t
val create : unit -> tval lock : t -> unitval try_lock : t -> boolval unlock : t -> unit
val create : unit -> Mutex.t
val create : unit -> Mutex.tval phys_equal : 'a -> 'a -> boolval equal : t -> t -> boolval critical_section : t -> f:(unit -> 'a) -> 'aval synchronize : ('a -> 'b) -> 'a -> 'bval update_signal : t -> Condition.t -> f:(unit -> 'a) -> 'aval update_broadcast : t -> Condition.t -> f:(unit -> 'a) -> 'aval try_lock : t -> [> `Acquired | `Already_held_by_me_or_other ]