F.11 Comments

We use C-style comments (/* comment */) exclusively, even on single-line comments. C++ comments (// comment) are not permitted.

This document was generated by John P. Willis on October 28, 2020 using texi2html 1.82.