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

division operator error in standard ml and Cpn tools

我是标准 ml 的新手,我正在使用 cpn tools.I 有一些常量:

val PHY=120;
val RB=1;

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

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

val x = PHY div RB