package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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