sig
type t = Condition.t
val create : unit -> Condition.t
val equal : Condition.t -> Condition.t -> bool
val wait : Condition.t -> Mutex.t -> unit
val timedwait : Condition.t -> Mutex.t -> Time.t -> bool
val signal : Condition.t -> unit
val broadcast : Condition.t -> unit
end