Dagger_testsmodule Basic_consistency : sig ... endmodule Sprinkler : sig ... endmodule Linear_regression : sig ... endTesting various backends on bayesian linear regression
module Diffusions : sig ... endmodule Biased_coin : sig ... endmodule Resampling_test : sig ... endTest resampling (used in SMC)
module Random_walks : sig ... endThe purpose of this test is to check (visually) that a random walk converges to its equilibrium
module Map_array : sig ... endmodule Poly : sig ... endmodule Yield : sig ... end