Compiler errors SML代码，不编译，请求andalso

在我的SML代码中，此行未运行

如果check（e1）==Num和check（e2）==Num，则Num else引发类型错误“键入错误”

我得到一个编译错误

错误：语法错误：用ANDALSO替换AND

---

有人知道为什么这不是编译吗？

和

在SML中是一个与您所想完全不同的关键字

和

用于定义相互递归的函数，而

和

是用于布尔和的关键字

---

另外，请注意，

==

在SML中不是相等检查

=

是。

和

在SML中是一个与您所想完全不同的关键字

和

用于定义相互递归的函数，而

和

是用于布尔和的关键字

另外，请注意，

==

在SML中不是相等检查<代码>=为