package prbnmcn-dagger-test

  1. Overview
  2. Docs

Define a Q-valued measure generator for QCheck

type 'a t = {
  1. mutable active : ('a * Q.t) list;
  2. 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
val flip : 'a t -> 'b t
val copy : 'a t -> 'b t