Agda.Compiler.Treeless.Compare
equalTerms