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

问题描述

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

val PHY=120;
val RB=1;

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

解决方法

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

val x = PHY div RB