OCaml簽名的未知功能

Question

首先，是否存在以下簽名（我個人認爲它可能有錯誤），如果是這樣，您能給我一個匹配代碼的例子：

val f : 'a -> ('a -> 'a) -> 'b -> ('a -> ('a -> 'a) -> 'b) -> bool = <fun> 

Answer 1

下面是這兩個作爲例子：

let f a aa b a_aa_b = (aa a, a_aa_b a aa) = (a,b) (* forced by type inference *) 
let f (a:'a) (aa: 'a -> 'a) (b: 'b) (c: 'a -> ('a -> 'a) -> 'b) = true (* explicitly stated *) 

我不記得我以前見過這個簽名，所以我不知道哪些功能可能有它背後隱藏。