package prbnmcn-dagger-test

  1. Overview
  2. Docs

Module Resampling_test.DistSource

Define a Q-valued measure generator for QCheck

Sourcetype 'a t = {
  1. mutable active : ('a * Q.t) list;
  2. mutable suspended : ('a * Q.t) list;
}
Sourceval pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
Sourceval simpl : ('a * Q.t) list -> ('a * Q.t) list
Sourceval gen_list : 'a QCheck.Gen.t -> ('a * Q.t) list QCheck.Gen.t
Sourceval gen : 'a QCheck.Gen.t -> 'a t QCheck.Gen.t
Sourceval flip : 'a t -> 'a t
Sourceval copy : 'a t -> 'a t