ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
type2name.cpp File Reference
#include <util/expr/type2name.h>
#include <cctype>
#include <util/base/i2string.h>
#include <util/irep/std_types.h>
#include <util/message/message.h>
Include dependency graph for type2name.cpp:

Functions

std::string type2name (const typet &type)

Function Documentation

◆ type2name()

std::string type2name ( const typet & type)