Module env 

The environment: every declaration the kernel has admitted, indexed by name.

Structs

Const

CtorInfo

Env

Constants indexed densely by NameId.

InductiveInfo

RecInfo

RecRule

Enums

Hint

Kind

QuotKind

Safety