我正在阅读编程语言 Maude 的手册，发现了一些关键字sort。它的描述（这里）是：
- 排序，为数据类型命名，
有人知道这意味着什么吗？它只是定义一个类型吗？
问问题
90 次
1 回答
1
sort是“类型定义”。在 Maude 中，所有类型都定义了一个按顺序排序的签名。但是，在sort您通过 声明其签名之前， 将是空的op。
于 2019-02-06T23:42:55.860 回答