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