Nametab.v « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/output/Nametab.v

blob: 8aed87a52249cd59d4ecb82038633162fb593957 (plain)

Module Q.
  Module N.
    Module K.
      Definition id := Set.
    End K.
  End N.
End Q.