1 module m00 { header "Inputs/stress1/m00.h" export * } 2 module m01 { header "Inputs/stress1/m01.h" export * } 3 module m02 { header "Inputs/stress1/m02.h" export * } 4 module m03 { header "Inputs/stress1/m03.h" export * } 5 6 module merge_no_reexport { header "Inputs/stress1/merge_no_reexport.h" } 7 module merge00 { header "Inputs/stress1/merge00.h" export * } 8
