test-suite/bugs/closed/4661.v


1
2
3
4
5
6
7
8
9
10

Module Type Test.
  Parameter t : Type.
End Test.

Module Type Func (T:Test).
  Parameter x : Type.
End Func.

Module Shortest_path (T : Test).
Print Func.