sml - division operator error in standard ml and Cpn tools

Question

I'm new in standard ml and I'm using cpn tools.I have some constants:

val PHY=120;
val RB=1;

I want to calculate PHY/RB then I have created val x=PHY/RB; in cpn tools but it has error when I write divide operator what is the problem? please help me to solve this problem. Thanks

question from:https://stackoverflow.com/questions/65869988/division-operator-error-in-standard-ml-and-cpn-tools

Answer 1

The integer division operator in SML is called div.

val x = PHY div RB