The file to write the comment to
The comment to write
Macro definitions used in processing the comment
Previously encountered comments. This is used for handling "ditto" comments. May be null.
A function body used for writing contract information. May be null.
the summary from the given comment
Writes a doc comment to the given file and returns the summary text.