docs/api/show__symbol__table_8h_source.html

#ifndef CPROVER_SHOW_SYMBOL_TABLE_H

#define CPROVER_SHOW_SYMBOL_TABLE_H


#include <util/symtab/namespace.h>


void show_symbol_table_plain(const namespacet &ns, std::ostream &out);


#endif // CPROVER_SHOW_SYMBOL_TABLE_H

namespacet
Definition namespace.h:10

namespace.h

show_symbol_table_plain
void show_symbol_table_plain(const namespacet &ns, std::ostream &out)
Definition show_symbol_table.cpp:13