1 module "stuff" { 2 textual header "defs.h" 3 module "empty" { header "empty.h" } 4 module "use" { header "use-defs.h" } 5 } 6 7 module "redef" { 8 header "import-and-redefine.h" 9 // Do not re-export stuff.use 10 use "stuff" 11 } 12 13 module "merged-defs" { 14 header "merged-defs.h" 15 use "stuff" 16 } 17
