Le Thu, 06 Feb 2014, Gabriel Scherer a écrit :

> > I was just simply wandering if there wasn't any OCaml function that would
> > work like:
> >    type_of(let f x = x) = 'a->'a
> 
>  No, there is not.
> 
> What are you trying to do?

Sounds like another use-case for the long-awaited Ocaml-ty extension ;-)

my NaN cents

-- 
Simon