On 26 Nov 2004, skaller <skaller@users.sourceforge.net> wrote:
> 
> An open type like [> `X ] isn't actually a type, you can't
> name it like:
> 
> type xx = [> `X ]

It is polymorphic:

type 'a xx = 'a constraint 'a = [> `X];;


Cheers,
ChriS