Stats.Stats_intf
Type signatures.
Primitive representations of distributions: empirical, generative or finitely supported.
fin_mes
is the type of finitely supported measures.
fin_prb
is the type of finitely supported probability measures.
module type Stateful_PRNG = sig ... end
PRNG interface, subset of Random
.State and Pringo
.
Type classes.
module type Gen = sig ... end
Gen
allows to manipulate generative probabilities (ie samplers).
module type Fin_dist = sig ... end
module type Graph = sig ... end
We use an OCamlgraph-compatible module type to describe undirected graphs. We assume that all graphs are undirected and simple.