aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/modules/pseudo_circular_with.v
blob: 6bf067fd184c76d0d86f1f65539bb21107f93dd0 (plain)
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.