test-suite/bugs/closed/2983.v


1
2
3
4
5
6
7
8

Module Type ModA.
End ModA.
Module Type ModB(A : ModA).
End ModB.
Module Foo(A : ModA)(B : ModB A).
End Foo.

Print Module Foo.