Clean中的模数函数

Question

是否有预定义的方法来计算Clean中的两个整数的模数？

StdOverloaded定义了（mod）类型类，但是StdInt不包含它的实例，而StdEnv也不在其他任何地方。我已经看过关于Clean版本2.0的语言概述，其中提到了StdInt的mod实例，但在2.4中，它肯定是缺失的。

Answer 1

StdInt提供了另一种选择：它被称为rem。就像旧式的mod函数一样工作，但也可以使用有符号整数。

10 rem 7 // 3

10 rem -7 // 3

-10 rem 7 // -3

-10 rem -7 //-3

Answer 2

在最新的稳定版本（Clean 3.0）中，只需导入StdEnv实例就可以使用“ rem”。