Dagger_tests.Yield
module Smc = Dagger.Smc_inference.Unit_smc
val loop : int -> bool list -> float Dagger__Smc_inference.Unit_smc.t
val rng_state : Stdlib.Random.State.t
val run : unit -> unit
val tests : QCheck.Test.t list