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