CBMC
|
#include "format.h"
Go to the source code of this file.
Functions | |
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. More... | |
std::ostream& format_rec | ( | std::ostream & | os, |
const typet & | type | ||
) |
Formats a type in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Definition at line 61 of file format_type.cpp.