OCaml的布尔比较

Question

我想知道是否有运营商<和>是为OCaml中布尔值定义？我有一个泛型函数来对列表进行排序，这应该适用于布尔列表。我很困惑，但这种排序应该如何与布尔列表一起工作？

Answer 1

OCaml的<和>运营商正在所有类型除了函数类型定义。

对于布尔值，假小于真。

这些运算符的Pervasives模块中定义。以下是关键文档：

这些函数与通常对整数，字符，字符串，字节序列和浮点数的排序一致，并将它们扩展为所有类型的总排序。该顺序与（=）兼容。与（=）的情况一样，可变结构按内容进行比较。函数值之间的比较引起Invalid_argument。循环结构之间的比较可能不会终止。