Here is where one documents effects of a function which are not return values. As an example here is the
Consequences entry for the documentation node
Headline:
Consequences => {
{ "the headline string will be used to annotate itemized
lists of cross references to the documentation ", TO "Key" }
},