SML：ブール関数

Question

SMLを学びながら、私は次の質問を思いつきました。この例を見てください：

fun check (elem,myList) = 
let 
    fun check1 elem [] = fn (x,_,_) => elem > x 
    fun check2 elem [] = fn (_,y,_) => elem < y 
in 
    if check1 andalso check2 then 1 else 0 
end 

probenはここでは動作しません。どうして？私が理解する限り、check1とcheck2はBOOL値を返すべきです。私はローカル変数を宣言しようとしましたが、これは問題を解決するのに役立たなかった。

Answer 1

check1およびcheck2は、boolの値ではありません。おそらく、あなたは何かにそれらを適用したいでしょうか？