Contents:
Serialize a distribution to JSON format.
dist – A distribution to be serialized.
A JSON string of a given distribution.