有布尔版本的`<；`吗在Coq？

如

beq\u nat

返回

bool

进行eq比较

是否有相应的东西是的，有固定点
leb
和定义
ltb
。它们可以缩写为
是的，有固定点
leb
和定义
ltb
。它们可以缩写为
是的，我想它叫
是的，我想它叫