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 ->
unitval simpl : ('a * Q.t) list -> ('a * Q.t) listval gen_list : 'a QCheck.Gen.t -> ('a * Q.t) list QCheck.Gen.tval gen : 'a QCheck.Gen.t -> 'a t QCheck.Gen.t