Struct mm0b_parser::SymbolNames

pub struct SymbolNames<'a> { /* fields omitted */ }

This index subcomponent supplies names for sorts, terms, and theorems.

Trait Implementations

impl<'a> Debug for SymbolNames<'a>

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

Formats the value using the given formatter.

impl<'a> HasSymbolNames<'a> for SymbolNames<'a>

fn get_symbol_names(&self) -> Option<&SymbolNames<'a>>

Get shared access to the subcomponent.

fn get_symbol_names_mut(&mut self) -> Option<&mut SymbolNames<'a>>

Get mutable access to the subcomponent.