AtomPair

fun AtomPair(a: Atom, b: Atom)