Imandra_util.Sync_queue
type 'a t
val make : unit -> 'a t
val take : 'a t -> 'a
val take_poll : 'a t -> 'a
val take_poll_until : cond:'a Fut.t -> 'b t -> 'b option
val try_take : 'a t -> 'a option
val push : 'a t -> 'a -> unit
val is_empty : 'a t -> bool