現在、タイプ 'a -> 'a の関数とタイプ 'a の引数を取り、関数を 2 回呼び出すタイプ ('a -> 'a) -> 'a -> 'a の関数を定義しようとしています。議論について。私はOCamlに比較的慣れていませんが、関数を定義する方法は知っていますが、試行錯誤や、関数を引数として取り、その関数を2回適用する関数を取得しようとするGoogleに運がありませんでした。
事前に感謝します。
編集: 以下の Jeffrey のおかげで、私の問題は解決されました。
let f4 ga = g (ga );;
val f4 : ('a -> 'a) -> 'a -> 'a =