cprover
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"
13 #include "type.h"
14 
17 std::ostream &format_rec(std::ostream &, const typet &);
18 
19 #endif // CPROVER_UTIL_FORMAT_TYPE_H
typet
The type of an expression, extends irept.
Definition: type.h:29
format.h
type.h
Defines typet, type_with_subtypet and type_with_subtypest.
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:58