Bonjour,

En fait, ce que vous demandez, existe deja : on peut designer
le type de "self" par une variable de type

ie class ('a)tree (g:'b) (d:'b) as self :'b =

On n'a meme une syntaxe plus legere quand on n'a pas besoin
du "self":

class ('a)tree (g:'b) (d:'b) :'b =
  val fg = g
  val fd = d
end;;

class ('a)labelled_tree g d (i:int)=
  inherit ('a)tree g d
  val un_entier = i
end;;


Cordialement,

Sylvain.