// smtc_BuiltInType.cpp
//

#include "smtc_BuiltInType.h"
// semantic
#include "smtc_AppendCv.h"
#include "smtc_BuiltInType.tpl"
#define LZZ_INLINE inline
namespace smtc
{
  template class BuiltInType <Bool>;
}
namespace smtc
{
  template class BuiltInType <Char>;
}
namespace smtc
{
  template class BuiltInType <SignedChar>;
}
namespace smtc
{
  template class BuiltInType <UnsignedChar>;
}
namespace smtc
{
  template class BuiltInType <WideChar>;
}
namespace smtc
{
  template class BuiltInType <ShortInt>;
}
namespace smtc
{
  template class BuiltInType <UnsignedShortInt>;
}
namespace smtc
{
  template class BuiltInType <Int>;
}
namespace smtc
{
  template class BuiltInType <UnsignedInt>;
}
namespace smtc
{
  template class BuiltInType <LongInt>;
}
namespace smtc
{
  template class BuiltInType <UnsignedLongInt>;
}
namespace smtc
{
  template class BuiltInType <LongLongInt>;
}
namespace smtc
{
  template class BuiltInType <UnsignedLongLongInt>;
}
namespace smtc
{
  template class BuiltInType <Float>;
}
namespace smtc
{
  template class BuiltInType <Double>;
}
namespace smtc
{
  template class BuiltInType <LongDouble>;
}
namespace smtc
{
  template class BuiltInType <Void>;
}
#undef LZZ_INLINE