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