12 #ifndef CPROVER_ANSI_C_LITERALS_CONVERT_FLOAT_LITERAL_H 13 #define CPROVER_ANSI_C_LITERALS_CONVERT_FLOAT_LITERAL_H 21 #endif // CPROVER_ANSI_C_LITERALS_CONVERT_FLOAT_LITERAL_H Base class for all expressions.
exprt convert_float_literal(const std::string &src)