Martin Jambon wrote:
>
> You can do this directly if you prefer:
>
> type 'a f = 'a
>   constraint 'a = [> `A of int ]

This is exactly what I was trying to do in the first place.
Where exactly is the main documentation for this syntax? Not in
JG's papers, unless I've missed something, as is possible.

Many thanks again,.

-- eliot