関数型言語ML (SML, OCaml, etc.), Part 6

[835 デフォルトの名無しさん 2014/04/20(日) 03:11:50.67 ID:8gJTdsza]

初学者の質問で申し訳ないのですが、
type hoge ={ t : 'a. ('a -> 'a) -> 'a -> 'a };;
という型で'a.('a -> 'a)の「 . （ドット）」は何を意味するのでしょうか？