Module mmb_parser::index::name_table

Structs

Name	An entry in the name table.
NameIterator	An iterator over entries in the name table.
NameTable	The name table of the index defines the names and pointers to the declarations of sorts, terms and theorems in the proof file.
NameTableSection	A subsection of the name table containing only a single kind of entry.