package prbnmcn-dagger-test

  1. Overview
  2. Docs
val stats : bool array -> float
val stats_weighted : (bool * Dagger.Log_space.t) list -> float
val rng_state : Dagger.RNG.t
val fair : bool Dagger.Dist.t
val traced : QCheck.Test.t
val eval : int -> bool array
val traced_incremental : QCheck.Test.t
val model : bool Dagger__Smc_inference.t
val smc : QCheck.Test.t
val tests : QCheck.Test.t list