Module Dagger_tests.Biased_coin

val stats : bool array -> float
val stats_weighted : float -> (bool * float) array -> float
val rng_state : Dagger.RNG.t
val fair : bool Dagger.Dist.t
val traced : QCheck.Test.t
val eval : int -> bool array
val traced_incremental : QCheck.Test.t
val model : bool Dagger__Smc_inference.Unit_smc.t
val smc : QCheck.Test.t
val tests : QCheck.Test.t list