fn ident(&self, id: &smt2::syntax::Ident) -> Option<Ident> {
		if id.indexes.is_empty() {
			self.ident_of_symbol(&id.id)
		} else {
			None
		}
	}
/// Find the ident for the given syntax ident.
Find the ident for the given syntax ident.
Find the ident for the given syntax ident .
fn ident(&self, id: &smt2::syntax::Ident) -> Option<Ident> {
		if id.indexes.is_empty() {
			self.ident_of_symbol(&id.id)
		} else {
			None
		}
	}
fn ident ( & self , id : & smt2 :: syntax :: Ident ) -> Option < Ident > { if id . indexes . is_empty ( ) { self . ident_of_symbol ( & id . id ) } else { None } }
Find the ident for the given syntax ident.
Find the ident for the given syntax ident .
&self
id
&smt2::syntax::Ident
&self
id
&smt2::syntax::Ident