Module Dagger_tests.Biased_coin
val stats : bool array -> float
val stats_weighted : float -> (bool * float) array -> float
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 tests : QCheck.Test.t list