cprover
|
Go to the source code of this file.
Functions | |
void | symbol_table_from_json (const jsont &, symbol_tablet &) |
void symbol_table_from_json | ( | const jsont & | in, |
symbol_tablet & | symbol_table | ||
) |
Definition at line 16 of file json_symbol_table.cpp.