//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
using std::tr1::true_type;
using std::tr1::false_type;
VERIFY( true_type::value == true );
VERIFY( false_type::value == false );
VERIFY( true_type::type::value == true );
using std::tr1::true_type;
using std::tr1::false_type;
VERIFY( true_type::value == true );
VERIFY( false_type::value == false );
VERIFY( true_type::type::value == true );