Пример #1
0
 public Property Equals_other_type_works(TypeAndName x, string y) =>
 (!x.Equals(y)).ToProperty();
Пример #2
0
 public Property Equals_works(TypeAndName x, TypeAndName y) =>
 (!x.IsValid() || !y.IsValid() ? !x.Equals(y) :
  ((x.Type == y.Type && x.Name.Equals(y.Name)) == x.Equals(y)))
 .ToProperty();
Пример #3
0
 public Property Equals_null_works(TypeAndName x) =>
 (!x.Equals(null)).ToProperty();