Generic data type to specify one uncertain value as a pair of <value, probability>.
The probability assigned to the value.
The value to which a probability is assigned.