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 September 20, 2023 using texi2html 5.0.