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