org.bitbucket.inkytonik.kiama.util.Comparison
An ordering that says two values are equal if same says they are, otherwise earlier elements are greater than later ones.
same
An ordering that says two values are equal if
same
says they are, otherwise earlier elements are greater than later ones.