Global Index

(18986 entries)

Notation Index

A

B

D

E

F

H

I

J

L

O

Q

X

Y

Z

_

(228 entries)

Module Index

H

J

Q

X

Y

Z

_

other

(297 entries)

Variable Index

H

J

K

Q

X

Y

Z

_

other

(1273 entries)

Library Index

J

Q

V

X

Y

_

other

(313 entries)

Lemma Index

J

Y

_

other

(8135 entries)

Constructor Index

K

Y

Z

_

other

(1490 entries)

Axiom Index

D

E

H

J

K

L

M

N

O

P

Q

R

S

U

V

W

X

Y

Z

_

other

(52 entries)

Inductive Index

J

K

X

Y

Z

_

other

(343 entries)

Projection Index

K

X

Y

Z

_

other

(524 entries)

Instance Index

H

X

Y

_

other

(720 entries)

Section Index

H

J

K

Q

X

Y

Z

_

other

(401 entries)

Abbreviation Index

K

Q

X

Z

_

(331 entries)

Definition Index

Y

(4701 entries)

Record Index

K

X

Y

Z

_

other

(178 entries)

N (abbreviation)

nameless_ctx [in MetaRocq.PCUIC.Syntax.PCUICNamelessDef]
nldecl [in MetaRocq.PCUIC.Conversion.PCUICNamelessConv]
no [in MetaRocq.SafeChecker.PCUICSafeConversion]
NormalizationIn_erase_global_deps [in MetaRocq.Erasure.ErasureFunction]
NormalizationIn_erase_global_deps_fast [in MetaRocq.Erasure.ErasureFunctionProperties]
NormalizationIn_erase_pcuic_program_2 [in MetaRocq.ErasurePlugin.ETransform]
NormalizationIn_erase_pcuic_program_1 [in MetaRocq.ErasurePlugin.ETransform]