Module Basic_consistency.Make

Parameters

module N : sig ... end
module Runner : sig ... end

Signature

val name : string -> string
val eval : burn_in:int -> int -> 'a Lang.t -> 'a0 Stdlib.Seq.t
val dist_with_oracle : ?plot:string -> ?oracle_pdf:(float -> float) -> burn_in:int -> int -> float Lang.t -> (Dagger.RNG.t, float) Stats__.Stats_intf.gen -> Stats__Fin.Float.r
val gaussian_1d : float Lang.t
val test_gaussian_1d : QCheck.Test.t
val gamma_1d : float Lang.t
val test_gamma_1d : QCheck.Test.t
val gaussian_sum : float Lang.t
val gaussian_sum_oracle : float Gen.t
val test_gaussian_sum : QCheck.Test.t
val iid_gaussian_sum : float Lang.t
val iid_gaussian_sum_oracle : float Gen.t
val test_iid_gaussian_sum : QCheck.Test.t
val gaussian_chain : float Lang.t
val gaussian_chain_oracle : float Gen.t
val test_gaussian_chain : QCheck.Test.t
val gaussian_sum_map : float Lang.t
val gaussian_sum_bind : float Lang.t
val test_map2_bind : QCheck.Test.t
val mixture1 : float Lang.t
val mixture_oracle : float Gen.t
val test_mixture1 : QCheck.Test.t
val mixture2 : float Lang.t
val test_mixture2 : QCheck.Test.t
val mixture3 : float Lang.t
val mixture3_oracle : float Gen.t
val oracle_pdf : float -> float
val test_mixture3 : QCheck.Test.t
val test_mixture4 : QCheck.Test.t
type range = {
  1. min : float;
  2. max : float;
}
val uniform_in_interval : range:range -> Stdlib.Random.State.t -> float
val uniform_dist : float Dagger.Dist.t
val importance_gaussian : float Lang.t
val test_importance : QCheck.Test.t
val tests : QCheck.Test.t list