path: root/test-suite/output/PrintModule.out

Module N : S with Definition T := nat := M

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