Attribute Index — Coq 8.12.0 documentation

# Attribute Index

c | d | e | g | l | p | r | u

| c |
| `canonical` |
| `canonical(false)` |
| d |
| `deprecated` |
| e |
| `export` |
| g |
| `global` |
| l |
| `local` |
| p |
| `private(matching)` |
| `program` |
| r |
| `refine` |
| u |
| `universes(cumulative)` |
| `universes(monomorphic)` |
| `universes(noncumulative)` |
| `universes(notemplate)` |
| `universes(polymorphic)` |
| `universes(template)` |

Other versions v: 8.12.0

Versions
  dev
  stable
  v8.12
  8.11
  8.10
  8.9
  8.8
  8.7
  8.6
  8.5
  8.4
  8.3
  8.2
  8.1
  8.0

Downloads
  PDF