src/Tools/code/code_target.ML

   val code_writeln: Pretty.T -> unit
   val mk_serialization: string -> ('a -> unit) option
     -> (Path.T option -> 'a -> unit)
     -> ('a -> string * string option list)
     -> 'a -> serialization
-  val serialize: theory -> string -> string option -> Args.T list
+  val serialize: theory -> string -> string option -> OuterLex.token list
     -> Code_Thingol.naming -> Code_Thingol.program -> string list -> serialization
   val serialize_custom: theory -> string * (serializer * literals)
     -> Code_Thingol.naming -> Code_Thingol.program -> string list -> string * string option list
   val the_literals: theory -> string -> literals
   val compile: serialization -> unit

        Symtab.join (K snd) (const1, const2))
   );
 
 type serializer =
   string option                         (*module name*)
-  -> Args.T list                        (*arguments*)
+  -> OuterLex.token list                (*arguments*)
   -> (string -> string)                 (*labelled_name*)
   -> string list                        (*reserved symbols*)
   -> (string * Pretty.T) list           (*includes*)
   -> (string -> string option)          (*module aliasses*)
   -> (string -> string option)          (*class syntax*)