.. note:: **License**
This material (the Rocq Reference Manual) may be distributed only
subject to the terms and conditions set forth in the Open
Publication License, v1.0 or later (the latest version is presently
available at
http://www.opencontent.org/openpub). Options A and B
are not elected.
