Module Mutex0


module Mutex0: sig .. end

include Mutex
val create : unit -> Mutex.t
val phys_equal : 'a -> 'a -> bool
val equal : t -> t -> bool
val critical_section : t -> f:(unit -> 'a) -> 'a
val update_signal : t -> Condition.t -> f:(unit -> 'a) -> 'a
val update_broadcast : t -> Condition.t -> f:(unit -> 'a) -> 'a
val am_holding_mutex : t -> bool