什么是sml中的val？

Question

我的例子看起来像这样。

type int_pair = int * int;

val it:int_pair = (1,1);

我不太明白它意味着什么，以及我们将在什么条件下使用val。

这是否意味着我们正在为int_pair赋值？

Answer 1

是的，it绑定到(1, 1)类型的值int_pair;见documentation。