Basic_consistency (prbnmcn-dagger-test.Dagger_tests.Basic

module Gen : sig ... end

val rng_state : Dagger.RNG.t

module Make
  (N : sig ... end)
  (Lang : Dagger.Intf.S)
  (Runner : sig ... end) : 
  sig ... end

module Lmh : sig ... end

module Lmh_incremental : sig ... end

module Smc_systematic : sig ... end

module Smc_stratified : sig ... end