1 module def { header "def.h" export * } 2 module update { header "update.h" export * } 3 4 module a1 { header "a1.h" export * } 5 module a2 { header "a2.h" export * } 6 module b1 { header "b1.h" export * } 7 module b2 { header "b2.h" export * } 8 module merge { header "merge.h" export * } 9 module c { header "c.h" export * } 10
