]> Radzevich Belevich a écrit : > hashtbl.mli: type ('a,'b) t > Why not "type ('a,+'b) t"? For the same reason as 'a in 'a ref, i.e. mutable things cannot be covariant. Cheers, -- Stéphane