aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/PrintModule.out
blob: 751d5fcc48bb8ee5bf77fd174d6c9f538ae9aa6f (plain)
1
2
3
4
5
Module N : S with Definition T := nat := M

Module N : S with Module T := K := M

Module Type Func = Funsig (T0:Test) Sig Parameter x : T0.t. End