You'll probably need something along the lines of:

class maclasse = object(self)
  val mutable valeur = (None : truc option)
  method getValeur = valeur
end
let truc_maker('a) = Machin of 'a -> int | Recur of truc_maker('a)
let truc = truc_maker(maclasse)

On Mar 17, 2011, at 11:50 AM, Pierre-Alexandre Voye wrote:

> So, this is impossible  ?   :
> 
> class maclasse = object(self)
>   val mutable valeur = (None : truc option)
>   method getValeur = valeur
> end
> and 
> truc = Machin of (maclasse->int) | Recur of truc;; 
> 
> ?
> (three attempt to write a correct example of my problem.. All apologies !)
> 
> 2011/3/17 Guillaume Yziquel <guillaume.yziquel@citycable.ch>
> 
> 
> 
> -- 
> ---------------------
> Isaac Project - http://www.lisaac.org/