src/Pure/Tools/codegen_package.ML
changeset 17156 e50f95ccde99
equal deleted inserted replaced
17155:e904580c3ee0 17156:e50f95ccde99
       
     1 signature CODEGEN_PACKAGE =
       
     2 sig
       
     3 end;
       
     4 
       
     5 structure CodegenPackage : CODEGEN_PACKAGE =
       
     6 struct
       
     7 
       
     8 end;