问题[pattern-matching](coding)

具有如下自定义变体类型：

type yolo = 
| A of string
| B of yolo
| C of yolo * yolo
| D of yolo * yolo

我还有一个函数可以对yolo类似于此的实例执行一些操作：

let rec swag y = 
  match y with
  | A _ -> 1
  | B _ -> 2
  | C (left,right) -> (swag left) + (swag right)
  | D (left,right) -> (swag left) + (swag right)

由于 caseC和的操作D完全相同，我想将它们合并，这可能吗？

到目前为止我收集到的内容：

1. ^ -> 匹配第一个符号
2. $ -> 匹配最后一个符号
3. [] -> 可以出现在该位置的字符集
4. | ->“或”运算符
5. ？-> 前面的条件是可选的

我认为该模式的含义是：
该行必须以 ana或 a开头b，或者必须以 a 结尾c，或者必须是空字符串。不过，我在绘制图案的 dfa 时遇到了麻烦。让我失望的是“可选”符号。我无法理解该语言不接受哪些字符串。

有人能指出我正确的方向吗？