假设

请参见官方用户手册获取此页面上信息的最新版本。

总有机碳

通过假设，我们可以在类型中引入元素，而无需实际给出元素本身的定义。

假设声明的一般形式如下

假设c（c）11…c1个：<类型>...c（c）n1个…c新冠肺炎：＜类型＞

例子

假设A B：设置答：答乙：乙_=AB=_：A->B->设置a==b:a=AB=b

我们通常不建议引入假设。一旦引入了假设，整个开发的一致性就面临风险，因为没有什么可以阻止我们在空集合中引入元素。

data False：设置位置假设底部：错误

一种更好的工作方式是定义一个由我们需要的元素参数化的模块

模块荒谬（bt:False），其中...模块M（A B：设置；A:A；B:B）（_=AB=_：A->B->集合）（A==B:A=AB=B）其中...