src/Tools/Code/code_target.ML

        Symreltab.join (K snd) (instance1, instance2)),
     (Symtab.join (K snd) (tyco1, tyco2),
        Symtab.join (K snd) (const1, const2))
   );
 
-type serializer = Token.T list (*arguments*) -> {
+type serializer = Token.T list
+  -> {
     labelled_name: string -> string,
     reserved_syms: string list,
     includes: (string * Pretty.T) list,
     module_alias: string -> string option,
     class_syntax: string -> string option,
     tyco_syntax: string -> Code_Printer.tyco_syntax option,
     const_syntax: string -> Code_Printer.activated_const_syntax option,
-    program: Code_Thingol.program,
-    names: string list }
+    program: Code_Thingol.program }
   -> serialization;
 
 datatype description = Fundamental of { serializer: serializer,
       literals: literals,
       check: { env_var: string, make_destination: Path.T -> Path.T,

       includes = includes,
       module_alias = if module_name = "" then Symtab.lookup module_alias else K (SOME module_name),
       class_syntax = Symtab.lookup class_syntax,
       tyco_syntax = Symtab.lookup tyco_syntax,
       const_syntax = Symtab.lookup const_syntax,
-      program = program,
-      names = names }
+      program = program }
   end;
 
 fun mount_serializer thy target some_width module_name args naming proto_program names =
   let
     val (default_width, abortable, data, program) =