cprover
|
#include "format.h"
Go to the source code of this file.
Functions | |
std::ostream & | format_rec (std::ostream &, const typet &) |
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.