如何在下面的代码中使用数字作为变量？

Question

我是SML-NJ的新手。我正在编写一个代码来在SML-NJ中添加Number1和Number2的值。我想在我的代码中使用GRAAL之类的数据类型定义。

部分 - 答：

type Variable=string
type Integer_constant=int

我想做以下事情。

val number = Variable

部分 - B： 我知道如果我将数据类型用作Variable，那么它将起作用， 工作案例如下，

datatype Variable=str of string
type Integer_constant=int
val number = str("number");

现在，我必须在Part-B中出现的Part-A中做同样的事情。 间接地，我必须使用type作为Variable的数据定义。