Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Basic_consistency : sig ... end
module Sprinkler : sig ... end
module Linear_regression : sig ... end
Testing various backends on bayesian linear regression
module Diffusions : sig ... end
module Biased_coin : sig ... end
module Resampling_test : sig ... end
Test resampling (used in SMC)