Functor arguments and with constraints

[Drup]

trafficstars

In with constraint inside functor applications, linking is a bit messy. This problems can be seen quite well in tyxml (last version) in the modules Svg_f and Html_f (also Svg_sigs.Make and the like).

For example in

module Foo (Bar: BAR) (Baz: BAZ with t = Bar.t) = ...

t links to BAZ.t and Bar.t tries to link to the functor argument but should probably link to BAR.t.

[dsheets]

I believe this will be addressed by lpw25/doc-ock-lib#2.