cprover
|
#include <util/type.h>
Go to the source code of this file.
Functions | |
void | cpp_convert_plain_type (typet &) |
void | cpp_convert_auto (typet &dest, const typet &src) |
C++ Language Conversion
Definition in file cpp_convert_type.h.
Definition at line 613 of file cpp_convert_type.cpp.
void cpp_convert_plain_type | ( | typet & | ) |
Definition at line 585 of file cpp_convert_type.cpp.