private abbreviation type - osiire’s blog

3.11のChangesには、

Introduction of private abbreviation types "type t = private ",

for abstracting the actual manifest type in type abbreviations.

と書いてある。意味は今までのprivate typesと同じなんじゃないかなー。private指定された型は、パターンマッチとかは出来るけど作れない。今までは直接的にコンストラクタかレコードの場合のみサポートだったけど、拡張されたみたいな。