#include <fesa/core/ids.hpp>

#include <type_traits>

int main()
{
    static_assert(!std::is_same_v<fesa::core::NodeId, fesa::core::ElementId>);
    return fesa::core::NodeId{7}.value == 7 ? 0 : 1;
}