SMLのletバインディング内で相互に再帰的な関数を書く方法は？

Question

私はこのような何かしたいと思います。aとbが相互再帰関数良識ある

fun f() = 
    let 
     fun a() = b() 
    and 
     fun b() = a() 
    in 
    () 
    end 

を。しかし、これは与える：

Error: syntax error: replacing AND with SEMICOLON

はこれを行う方法はありますか？ SMLでの相互再帰関数の

Answer 1

宣言はfun ... and ...ブロックでマークされています

fun f() = 
  let 
    fun a() = b() 
    and b() = a() (* There is no 'fun' keyword before b() *) 
    in 
    () 
    end