SMLのプロトタイピング関数

Question

2つの関数 f と g があり、これらは相互に再帰的に呼び出します。残念ながら、 f が g を呼び出すとき、まだ宣言されていないため、「バインドされていない変数」を取得します。エラー。 SML / NJでこの関数をプロトタイプ（または同等の語彙）にするにはどうすればよいですか？

Answer 1

and を使用：

fun f x = ... 
and g x = ...

詳細こちら。

Answer 2

相互再帰。 2つの関数の間で fun の代わりに and を使用します。