在毛德的语境中，什么是排序？

Question

我正在阅读有关Maude编程语言的手册，并且发现了一些关键字@import (inline) './A.css'; 。它的描述（here）是：

• 排序，为数据类型命名，

有人知道这是什么意思吗？只是在定义类型吗？

Answer 1

sort是“类型定义”。在Maude中，所有类型都在定义order-sorted signature。但是，sort将为空，直到您通过op声明其签名为止。