OCaml的布爾比較

Question

我想知道是否有運營商<和>是爲OCaml中布爾值定義？我有一個泛型函數來對列表進行排序，這應該適用於布爾列表。我很困惑，但這種排序應該如何與布爾列表一起工作？

Answer 1

OCaml的<和>運營商正在所有類型除了函數類型定義。

對於布爾值，假小於真。

這些運算符的Pervasives模塊中定義。以下是關鍵文檔：

這些函數與通常對整數，字符，字符串，字節序列和浮點數的排序一致，並將它們擴展爲所有類型的總排序。該順序與（=）兼容。與（=）的情況一樣，可變結構按內容進行比較。函數值之間的比較引起Invalid_argument。循環結構之間的比較可能不會終止。