Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Constant Nametab.Q.N.K.foo
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Module Nametab.Q.N.K
  (shorter name to refer to it in current context is Q.N.K)
Module Nametab.Q.N.K
  (shorter name to refer to it in current context is Q.N.K)
Module Nametab.Q.N.K
Module Nametab.Q.N.K
  (shorter name to refer to it in current context is Q.N.K)
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q.N
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q
Module Nametab.Q (shorter name to refer to it in current context is Q)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Constant Nametab.Q.N.K.foo
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Module Nametab.Q.N.K
Module Nametab.Q.N.K (shorter name to refer to it in current context is K)
Module Nametab.Q.N.K (shorter name to refer to it in current context is K)
Module Nametab.Q.N.K (shorter name to refer to it in current context is K)
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q.N
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q
Module Nametab.Q (shorter name to refer to it in current context is Q)