test-suite/modules/pseudo_circular_with.v


1
2
3
4
5
6

Module Type S. End S.
Module Type T. Declare Module M:S. End T.
Module N:S. End N.

Module NN:T. Module M:=N. End NN.
Module Type U := T with Module M:=NN.