>>880
ヌヒよ。
いちいちインタフェイス関数と再帰用関数と
２つの関数を作るのは二度手間だと思わないのか？

あと、型に厳密な Objective Caml を例にしたのはまずかったやもしれんが、
再帰呼び出しだと引数を必ず指定することにすれば型推論できるな。