module Mutex0:sig..end
include Mutex
val create : unit -> Mutex.tval phys_equal : 'a -> 'a -> boolval equal : t -> t -> boolval critical_section : t -> f:(unit -> 'a) -> 'aval update_signal : t -> Condition.t -> f:(unit -> 'a) -> 'aval update_broadcast : t -> Condition.t -> f:(unit -> 'a) -> 'aval am_holding_mutex : t -> bool