package odoc

Examples of resolution of references

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