Reference Manual
Version 8.7.2
The Coq Development Team
Copyright © INRIA 1999-2017
This material 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.