Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我正在阅读编程语言 Maude 的手册,发现了一些关键字sort。它的描述(这里)是:
sort
有人知道这意味着什么吗?它只是定义一个类型吗?
sort是“类型定义”。在 Maude 中,所有类型都定义了一个按顺序排序的签名。但是,在sort您通过 声明其签名之前, 将是空的op。
op