// smtc_BuiltIn.cpp
//

#include "smtc_BuiltIn.h"
#define LZZ_INLINE inline
namespace smtc
{
  char const * Bool::NAME = "bool";
}
namespace smtc
{
  TypeKind const Bool::KIND = BOOL_TYPE;
}
namespace smtc
{
  char const * Char::NAME = "char";
}
namespace smtc
{
  TypeKind const Char::KIND = CHAR_TYPE;
}
namespace smtc
{
  char const * SignedChar::NAME = "signed char";
}
namespace smtc
{
  TypeKind const SignedChar::KIND = SIGNED_CHAR_TYPE;
}
namespace smtc
{
  char const * UnsignedChar::NAME = "unsigned char";
}
namespace smtc
{
  TypeKind const UnsignedChar::KIND = UNSIGNED_CHAR_TYPE;
}
namespace smtc
{
  char const * WideChar::NAME = "wchar_t";
}
namespace smtc
{
  TypeKind const WideChar::KIND = WIDE_CHAR_TYPE;
}
namespace smtc
{
  char const * ShortInt::NAME = "short int";
}
namespace smtc
{
  TypeKind const ShortInt::KIND = SHORT_INT_TYPE;
}
namespace smtc
{
  char const * UnsignedShortInt::NAME = "unsigned short int";
}
namespace smtc
{
  TypeKind const UnsignedShortInt::KIND = UNSIGNED_SHORT_INT;
}
namespace smtc
{
  char const * Int::NAME = "int";
}
namespace smtc
{
  TypeKind const Int::KIND = INT_TYPE;
}
namespace smtc
{
  char const * UnsignedInt::NAME = "unsigned int";
}
namespace smtc
{
  TypeKind const UnsignedInt::KIND = UNSIGNED_INT_TYPE;
}
namespace smtc
{
  char const * LongInt::NAME = "long int";
}
namespace smtc
{
  TypeKind const LongInt::KIND = LONG_INT_TYPE;
}
namespace smtc
{
  char const * UnsignedLongInt::NAME = "unsigned long int";
}
namespace smtc
{
  TypeKind const UnsignedLongInt::KIND = UNSIGNED_LONG_INT_TYPE;
}
namespace smtc
{
  char const * LongLongInt::NAME = "long long int";
}
namespace smtc
{
  TypeKind const LongLongInt::KIND = LONG_LONG_INT_TYPE;
}
namespace smtc
{
  char const * UnsignedLongLongInt::NAME = "unsigned long long int";
}
namespace smtc
{
  TypeKind const UnsignedLongLongInt::KIND = UNSIGNED_LONG_LONG_INT_TYPE;
}
namespace smtc
{
  char const * Float::NAME = "float";
}
namespace smtc
{
  TypeKind const Float::KIND = FLOAT_TYPE;
}
namespace smtc
{
  char const * Double::NAME = "double";
}
namespace smtc
{
  TypeKind const Double::KIND = DOUBLE_TYPE;
}
namespace smtc
{
  char const * LongDouble::NAME = "long double";
}
namespace smtc
{
  TypeKind const LongDouble::KIND = LONG_DOUBLE_TYPE;
}
namespace smtc
{
  char const * Void::NAME = "void";
}
namespace smtc
{
  TypeKind const Void::KIND = VOID_TYPE;
}
#undef LZZ_INLINE