Hi,

  I'm a little bit puzzled with the behavior of ocamldoc (3.10.2 and 3.11.0)
on the following file :

a.ml :
====

module M : sig
  val l : int list
end
=
struct
  let l = []
end

The HTML documentation generated from the following call

ocamldoc -html a.ml

will describe A.M.l as a 'a list, while it's been constrained to int list by
the signature. Is this the expected behavior ?

Philippe.