SML 中单个 'if' 内的多个条件

Multiple conditions inside single 'if' in SML

如何在单个if下指定多个条件?例如,考虑以下 java 代码片段:

if(a==1 && a>b){
    //statements ;
}

上面的代码怎么写成sml?我知道我可以通过使用两个 if 来实现目标,但是如果有一种方法可以按照我想要的方式指定,那么它会很顺利。

SML 等价于 && 的是 andalso。对于 ||orelse:

if a = 1 andalso a > b
then (* ... *)
else (* ... *)