Coq: Boolean Comparison of Integers

Question

The natural numbers (nat) in coq have a function beq_nat, is there a similar function for integers Z (in ZArith)?

And for the future, how can I find the answer to such questions without asking on Stackoverflow?

Answer 1

There's the Z.eqb function in the standard library. Make sure to import module ZArith tp use it.

Unfortunately, I don't know of any resources for finding this besides browsing the standard library documentation...