Sml 如何遍历模式并返回所有字符串的列表

您好，我目前正在学习编程语言课程，在使用以下helper函数时遇到困难：该函数采用一种模式并返回它用于变量的所有字符串的列表。 这是一种模式：

 datatype pattern = Wildcard
         | Variable of string
         | UnitP
         | ConstP of int
         | TupleP of pattern list
         | ConstructorP of string * pattern

例如：

val test1007 = helper (ConstructorP("x", (TupleP [Wildcard, Variable "x", ConstructorP("y", TupleP [Variable "y"])]))) = ["x","y"]

---

我知道我必须使用一些case表达式来匹配该模式，但我无法理解它。我自己就知道我必须使用case表达式，但问题是我不知道以后要做什么。

这不是答案。我已经理解了。不管怎样谢谢你如果你不知道该做什么，那是不是意味着你必须有一些想法？