有没有一种简单的方法来模仿OCaml中的 as 关键字，如下所示：
as
(match x with |((a,b) as c, d) -> c)
在球拍？我考虑定义语法规则以处理语法 ((exp) as id) ，但后来我遇到了exp的问题，可能有更多的 as 绑定 . 有关如何从表达式中提取所有 as 绑定然后在match子句的表达式中为它们提供本地绑定的任何想法？谢谢！
((exp) as id)