Module Stats.Fin

Finite measures implemented as finitely supported functions.

Finitely supported distributions.

Functions specific to the underlying field.

module Float : sig ... end

float-valued finitely supported distributions.

module Rational : sig ... end

Q-valued finitely supported distributions.