-
Etienne Kneuss authored
foo(x) == expr && foo(y) == expr --> x == y
Etienne Kneuss authoredfoo(x) == expr && foo(y) == expr --> x == y
Rules.scala 8.02 KiB
foo(x) == expr && foo(y) == expr --> x == y
foo(x) == expr && foo(y) == expr --> x == y