src/HOL/Tools/datatype_aux.ML

   | DtType of string * (dtyp list)
   | DtRec of int;
 
 (* information about datatypes *)
 
-(* index, datatype name, type arguments (DtTFree's), constructor name, types of constructor's arguments *)
+(* index, datatype name, type arguments, constructor name, types of constructor's arguments *)
 type descr = (int * (string * dtyp list * (string * dtyp list) list)) list;
 
 type datatype_info =
   {index : int,
    descr : descr,