Localize references to inline expansions

[dsheets]

trafficstars

Resolved references always point to the maximally expanded path. Sometimes this path has an alias that is already in the local page's context and does not have any substitutions or parameterizations. When this is the case, the reference should be rewritten to point to the local definition. See lpw25/doc-ock-lib#28.

[Drup]

Other examples of this issue in tyxml in the module Html5 (try to click on the M.elt) or the module Xml_sigs.Iterable.attrib (click on attrib).

In general, the inline expansion is very useful when with constraint are present, so that the module interface is the real one, and not the one before constraint are applied.