如何根据OCaml中的边标签动态创建顶点？

我正在尝试使用OCaml解决LTS（带标签的转换系统）。 我有带标签的边和边的来源。现在我想创建边缘的目标，其名称取决于边缘的源和标签

---

我对OCaml不是很流利，所以请详细说明您的答案。

我认为您需要详细说明您正在尝试做什么。在OCaml中，您通常希望从决定要使用的类型开始。如果您显示您的类型，以及您想要实现的函数的类型，那么将更容易提供帮助。（或者你会在思考类型时自己弄明白——这是我通常会遇到的情况：-）@JeffreyScofield我的顶点属于包含字符元组的列表类型。边缘上的标签为charcharint类型。基于它们和源顶点之间的边标签，我想创建一个新的顶点对不起，这不是很清楚。你说的“元组”--你是指一对（2元组）？你是说每个顶点都有一个字符对列表吗？或者你有一个顶点列表，每个顶点都有一对字符？您可以用OCaml编码的类型来扩展您的问题，这使它们完全明确。同时给出要编写的函数的类型。如果您只是想知道如何在一般情况下动态创建东西，那么答案是您编写了一个函数，其输入是一个集合，而其输出是一个更大的集合。