Funções de prototipagem em SML

Question

Eu tenho duas funções, f e g, que se chamam recursivamente. Infelizmente, quando f chamadas g, ainda não foi declarado, então recebo um erro de "variável não ligada". Como posso protótipo (ou qualquer que seja o vocabulário equivalente) essa função em SML/NJ?

Answer 1

Usar and:

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

Mais informações aqui.

Answer 2

Recursão mútua. Usar and ao invés de fun entre as duas funções.