Resolution.References
Examples of resolution of 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
A.t
A
A.B.t