I don't think there is such an option.

This is related, but not exactly the same as, this bugtracker entry:
  http://caml.inria.fr/mantis/view.php?id=5067

From what I remember when posting the entry, ocamldoc has at its disposition both the parsed AST from the source, and the typedtree representation (the program representation after type inference). It uses the typedtree representation to display types, so I suppose the type variable name information is lost. You may change the output -- ocamldoc is rather modular and you can add plugins to change the output -- to use the parsed AST instead, which has the name information, but at the time I didn't find a way to do that easily without losing the nice syntax highlighting and cross-referencing performed by ocamldoc on the type.

On Thu, Jun 16, 2011 at 6:02 PM, <vincent.monfort@inria.fr> wrote:
Hi everyone,
I used particular names for some polymorphic types in my .mli files but these
names were replaced with default names by ocamldoc in the documentation.
E.g.:
.mli:
type ('dom,'tf) manager = {
 bot : 'dom;
 ...
}

.html:
type ('a, 'b) manager = {
       bot : 'a;
       ...
}

Is there any way to force ocamldoc to keep the names given in the documentation
?
If it is not the case I think it would be a good thing because it could make
the documentation more readable.

Regards,

Vincent

--
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs