sml中的val是什么？

Question

我有一个这样的例子。

type int_pair = int * int;

val it:int_pair = (1,1);

我不太明白val是什么意思，在什么情况下我们会使用val。

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

Answer 1

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