>>489
まだ理解できませんが、とりあえず説明どうもです(w
488の定義だとderivはfとdxを引数に取ることが明示されてる
わけですが、489の定義だとそうではないですよね？ということは、

deriv f;;とやったらfloat -> float -> floatが戻り、
deriv f dx;;とやったらfloat -> floatが戻り、
deriv f dx x;;とやったらfloatが戻る

ということでしょうか？