refined
refined copied to clipboard
Suggestion
Dear Sir or Madam,
would you agree to add the type
Probability = Refined Interval.Closed[0d, 1d]
in addition to Positive, NonNegative, etc.
It is useful for engineering factor, probabilistic computations, etc.
Regards,
Olivier