DEBSOURCES
Skip Quicknav
sources / coq / 8.20.1%2Bdfsg-1 / test-suite / bugs / bug_2983.v
12345678
Module Type ModA. End ModA. Module Type ModB(A : ModA). End ModB. Module Foo(A : ModA)(B : ModB A). End Foo. Print Module Foo.