cprover
|
Go to the source code of this file.
Functions | |
std::string | type2name (const typet &type) |
std::string | type2name (const typet &type, const namespacet &ns) |
Type Naming for C
Definition in file type2name.h.
std::string type2name | ( | const typet & | type | ) |
Definition at line 285 of file type2name.cpp.
std::string type2name | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 278 of file type2name.cpp.