12#ifndef CPROVER_CPP_CPP_CONVERT_TYPE_H
13#define CPROVER_CPP_CPP_CONVERT_TYPE_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
The type of an expression, extends irept.
void cpp_convert_plain_type(typet &, message_handlert &)
void cpp_convert_auto(typet &dest, const typet &src, message_handlert &)