module Intf : sig ... end

Module type definitions

module Lmh_inference : sig ... end

Lightweight Metropolis-Hastings

module Lmh_incremental_inference : sig ... end

Incremental lightweight Metropolis-Hastings

module Smc_inference : sig ... end

Sequential Monte-Carlo

module Dist : sig ... end

Distributions

module RNG : sig ... end
module Log_space : sig ... end

Log-space computation

module Resampling : sig ... end

Resampling functions.

module Stateful_sampling_monad : sig ... end