On Thu, Feb 7, 2013 at 3:21 PM, Christophe Papazian <christophe.papazian@gmail.com> wrote:
Hi
I'm not sure to understand the difference between :
let f (type s) : s t -> s = ...
let f : type s . s t -> s = ...
except it seems I can use the second one in place of the first one, but sometimes I can't use the first one and need the second one.
So I feel I only need the second one.