type2name.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Type Naming for C
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
#include <string>
#include <util/irep/type.h>
 
std::string type2name(const typet &type);