OCaml中的“ as”关键字

在该站点上提供的OCaml教程的答案中，一些解决方案（包括用于消除列表元素的连续重复项的解决方案）是这样编写的：

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

该行的意义是a :: (b:: _ as t)什么？为什么我不能这样写呢a :: b :: t？