test-suite/output-coqchk/bug_12845.v


1
2
3
4
5
6
7
8
9
10
11
12
13

Module Type A.
  Module B.
    Axiom t : Set.
  End B.
End A.

Module a : A.
  Module B.
    Definition t : Set := unit.
  End B.
End a.

Check a.B.t.