绑定模式与Racket

Question

是否有一种简单的方法可以模仿OCaml中的as关键字：

(match x with
 |((a,b) as c, d) -> c)

在球拍中？我考虑定义语法规则以处理语法((exp) as id)，但后来我遇到了exp的问题，可能有更多的as绑定。关于如何从表达式中提取所有as绑定然后在match子句的表达式中为它们提供本地绑定的任何想法？谢谢！