Struct Index

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

Index The index contains information about items in the proof file that are useful for printing and debugging purposes.

The index is a collection of tables that in turn contain domain specific data. Because the index is designed to be extensible, each table entry is identified by an id that determines how the data should be interpreted.

Implementations

impl<'a> Index<'a>

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

Returns an iterator over all table entries in the index.

Trait Implementations

impl<'a> Debug for Index<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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

type Item = Entry

The type of the elements being iterated over.

type IntoIter = EntryIterator<'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 Index<'a>

type Item = Entry

The type of the elements being iterated over.

type IntoIter = EntryIterator<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.