list - 如何在 CPN Tools(ML) 中对产品列表进行排序？

Question

以上帝的名义，
我有一个 colset colset process_list = list process;，其中 process 代表这个声明：colset process = product ratio*ID*wait_time*e_runtime;并且这个 colset 中所有使用的 colset 都是 INT 类型。

现在的问题是我找不到对这个列表进行排序的方法。有谁能够帮我？我会很感激的。

Answer 1

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;