use "basic_models.g";

struct foo {
  int x;
};

model EqualityComparable<foo> { 
  fun operator==(foo a, foo b) -> bool@ { return a.x == b.x; }
};


fun neq<T>
where { EqualityComparable<T> }
(T a, T b) -> bool@
{
  return a != b;
}

fun main() -> int@ {
  let r = neq(@foo{x=0}, @foo{x=1});
  if (r)
    return 0;
  else
    return -1;
}