Dagger_tests.Sprinkler
val rng_state : Dagger.RNG.t
module Traced_incremental : sig ... end
module Traced : sig ... end
val tests : QCheck.Test.t list