[Agda] Mapping QNames to module names?

[Alan Jeffrey]

A question about internal compiler gore...

Given an Agda QName q, is there a way inside the compiler to find the 
name of the top-level module which contains q's definition? For example:

   module A.B where
     module C.D where
       E = ...

Given a use of A.B.C.D.E, I need to be able to extract A.B (since this 
is the JS module which contains the definition of C.D.E). Is there a 
reliable way to do this?

A.