coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Opaque
Date: Tue, 19 Dec 2017 10:21:46 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vadim.zaliva AT west.cmu.edu; spf=Pass smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-it0-f54.google.com
Ironport-phdr: 9a23:Mba13RJNlDLNn/aZD9mcpTZWNBhigK39O0sv0rFitYgQIv7xwZ3uMQTl6Ol3ixeRBMOHs6sC07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffxhEiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhicJOTA67W/ZlNB/gblBrx69vRFy2ZLYbJ2XOfd4Y6jTfckaRW1EXstJWCNOGJ6zb4oKD+EcPulXtY39p1oQrRSkGAKhA/3vyz5SiX/y3K06zf4uHBra0wwlAtICqmrbo8joNKoLV+2+0arGzS3bYv9IxTvw7JLEfxMhrP2WQ758bMXcxVMvGg7KiFibtJbrMCmP1usXtmiW9+pgWvyri24gswxxpyKgxsYoioXQh4IV1kzI+Tx3wIs1KtC0UkF7YdmjEJtfsyGVKZF6Td8lQ2FtoCo6y7sGtoCnfCUS1pgr2xrSZ+aEfoWI+B7vSvudLDhiiH9ld7+znxOy/lKhyu34WMm0ylFKri9dn9nSrH8Cyh3T6s2dRvp85Eih3TeP1x7J5exfL0E7i7HbK4I7zrEsk5oTrF7PETHrl0XrlKOWbFkr+vC06+T7ZbXrvoOTN4htig3nLqsuntG/Dv8jPwgVX2mb/Py826f58U34RrVKlPw2nbPDvJDUP8RI7pK+VgRSy8Mo7wu1JzagytUR23cdf3xffxfSsYHlOlSGEvn8DOm2ywCygj5vxu7PFrbkH9PAImWVw+SpRqp090MJkFl79ttY/Z8BUrw=

If there is a way to see all identifiers marked as Opaque?

For example after using:

Opaque Foo.

Thanks!

CMU ECE PhD candidate

Mobile/WhatsApp: +1(510)220-1060