On Mon, 5 Mar 2007, Eliot Handelman wrote:

> 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.

Personally, I know it from someone who posted the same answer on caml-list 
sometime around 2004.
:-)


Martin

--
Martin Jambon
http://martin.jambon.free.fr