Module Sprinkler.Traced

val model : bool Dagger.Lmh_inference.t
val nsamples : int
val test : QCheck.Test.t