References (odoc.odoc_examples.Odoc_examples.Resolution.References)

module type A = sig ... end

module A : sig ... end

We can refer unambiguously to A.t in module type A or A.t in module A, and also where there are name clashes within the path: A.B.t or A.B.t