Go to Deriscope's documentation start page

Probability_Measure

Probability Measure is a Type that represents a generic probability measure defined on some Sigma Algebra over a certain domain.
The exact measure, Sigma Algebra and domain are not specified here.
They are defined in the derived types representing concrete probability measures.