let eq (a1, _) (a2, _) = Atom.equal a1 a2