sml - 标准 ml 和 Cpn 工具中的除法运算符错误

Question

我是标准 ml 的新手，我正在使用 cpn 工具。我有一些常量：

val PHY=120;
val RB=1;

我想计算 PHY/RB 然后我 val x=PHY/RB;在 cpn 工具中创建但是当我写除法运算符时它有错误是什么问题？请帮我解决这个问题。谢谢

Answer 1

SML 中的整数除法运算符称为div。

val x = PHY div RB