T.Condition
type 'a t
val create : unit -> 'a t
val wait : 'a t -> 'a Deferred.t
val signal : 'a t -> 'a -> unit