object AtomComparator: TermComparator<Atom>, Any Methods compare fun compare(a: Atom, b: Atom): Int Parameters Name Description a: Atom b: Atom ReturnValue Name Description Int