Struct NameTable 

pub struct NameTable<'a> { /* private fields */ }

The name table of the index defines the names and pointers to the declarations of sorts, terms and theorems in the proof file.

Implementations

impl<'a> NameTable<'a>

pub fn sorts(&self) -> NameTableSection<'_>

Returns the subsection of the name table containing the sorts.

pub fn terms(&self) -> NameTableSection<'_>

Returns the subsection of the name table containing the terms.

pub fn theorems(&self) -> NameTableSection<'_>

Returns the subsection of the name table containing the theorems.

pub fn iter(&self) -> NameIterator<'a>

Returns an iterator over all entries in the entire name table.

Trait Implementations

impl<'a> IntoIterator for &NameTable<'a>

type Item = Name<'a>

The type of the elements being iterated over.

type IntoIter = NameIterator<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a> IntoIterator for NameTable<'a>

type Item = Name<'a>

The type of the elements being iterated over.

type IntoIter = NameIterator<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.