src/Pure/Tools/codegen_names.ML

   fun map_instance f = map_names
     (fn (class, classrel, tyco, inst) => (class, classrel, tyco, f inst));
 end; (*local*)
 
 structure CodeName = TheoryDataFun
-(struct
-  val name = "Pure/codegen_names";
+(
   type T = names ref;
   val empty = ref empty_names;
   fun copy (ref names) = ref names;
   val extend = copy;
   fun merge _ (ref names1, ref names2) = ref (merge_names (names1, names2));
-  fun print _ _ = ();
-end);
+);
 
 structure ConstName = CodeDataFun
-(struct
+(
   val name = "Pure/codegen_names";
   type T = const Consttab.table * (string * string option) Symtab.table;
   val empty = (Consttab.empty, Symtab.empty);
   fun merge _ ((const1, constrev1), (const2, constrev2)) =
     (Consttab.merge eq_string (const1, const2),
       Symtab.merge CodegenConsts.eq_const (constrev1, constrev2));
   fun purge _ NONE _ = empty
     | purge _ (SOME cs) (const, constrev) = (fold Consttab.delete_safe cs const,
         fold Symtab.delete (map_filter (Consttab.lookup const) cs) constrev);
-end);
+);
 
 val _ = Context.add_setup (CodeName.init #> ConstName.init);
 
 
 (* forward lookup with cache update *)