Coq：整数的布尔比较

coq中的自然数（nat）有一个函数beq_nat，整数Z（在ZArith中）有类似的函数吗

---

对于未来，我如何在不询问Stackoverflow的情况下找到这些问题的答案？

标准库中有

Z.eqb

函数。确保导入模块

ZArith

tp并使用它

不幸的是，除了浏览文档之外，我不知道有什么资源可以找到这个