List 如何在CPN工具（ML）中对产品列表进行排序？

以上帝的名义
我有一个colset

colset进程\u list=list进程

其中process代表此声明：

colset process=product ratio*ID*wait\u time*e\u runtime

和此列集中使用的所有列集都是INT类型

---

现在的问题是，我找不到一种方法来排序这个列表。有人能帮我吗？我将不胜感激。

4年后，有关文档：

colset process = product ratio*ID*wait_time*e_runtime;
colset process_list = list process;

fun pass_list ((rt1,id1,wt1,er1), (rt2,id2,wt2,er2)) = id1 < id2;
fun sort_list (pl) = sort pass_list pl;

colset进程=产品比率*ID*等待时间*e\u运行时；
colset process_list=列表进程；
趣味通行证列表（（rt1，id1，wt1，er1），（rt2，id2，wt2，er2））=id1

您试图解决的问题是什么。如果你说你找不到方法，你搜索了什么。我用“有趣的排序列表（pl）=排序优先级.lt（pl）；”作为朋友的推荐，但它不起作用“对不起，我迟到了”，但是。。刚才回答了你的问题（：