std::operator!=(C++11)

namespace std {
  template <class RealType>
  bool operator!=(
    const weibull_distribution<RealType>& a,
    const weibull_distribution<RealType>& b);
}

#include <iostream>
#include <random>

int main()
{
  std::weibull_distribution<> a(1.0, 1.0);
  std::weibull_distribution<> b(1.5, 1.0);

  if (a != b) {
    std::cout << "not equal" << std::endl;
  }
  else {
    std::cout << "equal" << std::endl;
  }
}