type 'a t = {
mutable active : ('a * Q.t) list;
mutable suspended : ('a * Q.t) list;
}
val pp :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'b t ->
unit
val simpl : ('a * Q.t) list -> ('a * Q.t) list
val gen_list : 'a QCheck.Gen.t -> ('a * Q.t) list QCheck.Gen.t
val gen : 'a QCheck.Gen.t -> 'a t QCheck.Gen.t