OCaml中的“更小”关键字(?)

在OCaml表单教程的解决方案中 here ,关于消除列表元素的连续重复,代码如下:

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

我以前从未见过关键字(?)“更小”,我在网上查找,但没有找到它。虽然在这种情况下,我理解它的含义,但我仍然想知道是否有人能解释更多。谢谢!