package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

package prbnmcn-dagger-test

prbnmcn-dagger-test
- Dagger_tests
  - Basic_consistency
    
    Dist
    
    Dist_smc
    
    Dists
    
    Gen
    
    Infix
    
    Rational
    
    Lmh
    
    Lmh_incremental
    
    Make
    
    Dists
    
    N
    
    Runner
    
    Smc_stratified
    
    Smc_systematic
  - Biased_coin
  - Diffusions
  - Linear_regression
    
    Smc
    
    FM
    
    Basis
    
    Map
    
    R
    
    Table
    
    Traced
    
    Traced_incremental
  - Map_array
    
    Pure
    
    Infix
  - Poly
    
    Poly
    
    Smc
    
    Array_ops
    
    Infix
    
    List_ops
    
    Seq_ops
    
    Smc_types
  - Random_walks
  - Resampling_test
    
    Dist
    
    R
    
    Rat
  - Sprinkler
    
    Traced
    
    Traced_incremental
  - Yield

Legend:
Library
Module
Module type
Parameter
Class
Class type

Define a Q-valued measure generator for QCheck

type 'a t = {

mutable active : ('a * Q.t) list;
mutable suspended : ('a * Q.t) list;

}

val pp : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a t ->
  unit

val simpl : ('a * Q.t) list -> ('a * Q.t) list

val gen_list : 'a QCheck.Gen.t -> ('a * Q.t) list QCheck.Gen.t

val gen : 'a QCheck.Gen.t -> 'a t QCheck.Gen.t

val flip : 'a t -> 'a t

val copy : 'a t -> 'a t