Module Dagger_tests.Biased_coin
val stats : bool array -> floatval stats_weighted : float -> (bool * float) array -> floatval traced : QCheck.Test.tval eval : int -> bool arrayval traced_incremental : QCheck.Test.tval model : bool Dagger__Smc_inference.Unit_smc.tval tests : QCheck.Test.t list