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 on November 11, 2022 using texi2html 5.0.