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

Question

我正在尝试使用OCaml解决LTS（Labeled Transition System）问题。 我的边缘有标签和边缘的来源。现在我想创建边缘的目标，其名称取决于边的源和标签。

我对OCaml不太熟悉，所以请详细说明你的答案。