Outputs a link to the exception type defined against the current Code Contract.
Remarks
The link will either be to a page in the documentation or to Microsoft .NET framework documentation (or another
external documentation set defined in configuration).