Sprinkler.Traced_incremental
val bern : bias:float -> bool Dagger.Dist.t
val model : bool Dagger.Lmh_incremental_inference.t
val nsamples : int
val test : QCheck.Test.t