Structsยง
- Name
- An entry in the name table.
- Name
Iterator - An iterator over entries in the name table.
- Name
Table - The name table of the index defines the names and pointers to the declarations of sorts, terms and theorems in the proof file.
- Name
Table Section - A subsection of the name table containing only a single kind of entry.