Ошибка оператора деления в стандартных инструментах ml и Cpn

Question

Я новичок в стандартном мл и использую инструменты cpn. У меня есть некоторые константы:

      val PHY=120;
val RB=1;

Я хочу рассчитать PHY/RB, тогда я создал val x=PHY/RB;в инструментах cpn, но возникает ошибка, когда я пишу оператор деления, в чем проблема? пожалуйста, помогите мне решить эту проблему. Спасибо

Answer 1

Оператор целочисленного деления в SML называется div.

      val x = PHY div RB