ocaml - OCaml 中的 "smaller"关键字(？)

Question

在 OCaml 表单教程的解决方案中 here ，关于消除连续重复的列表元素，代码是这样写的:

let rec compress = function
   | a :: (b :: _ as t) -> if a = b then compress t else a :: compress t
   | smaller -> smaller;;

我从来没有见过关键字(？)“更小”，我在网上查找但没有找到它。虽然在这种情况下，我理解它的意思，但我仍然想知道是否有人可以对此进行更多解释。谢谢!

Answer 1

smaller 不是关键字，而是标识符，就像a, b 和 t 一样前一行。

模式 smaller 简单地匹配任何可能的值(尚未被任何先前模式匹配的值)并将其命名为 smaller。