CBMC
format_type.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_UTIL_FORMAT_TYPE_H
10 #define CPROVER_UTIL_FORMAT_TYPE_H
11 
12 #include "format.h" // IWYU pragma: keep
13 
14 class typet;
15 
18 std::ostream &format_rec(std::ostream &, const typet &);
19 
20 #endif // CPROVER_UTIL_FORMAT_TYPE_H
typet
The type of an expression, extends irept.
Definition: type.h:29
format_rec
std::ostream & format_rec(std::ostream &, const typet &)
Formats a type in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Definition: format_type.cpp:61