src/Tools/code/code_thingol.ML

   in
     fold_map mk_dict typargs
   end
 and exprgen_dict_parms thy (algbr as (_, consts)) funcgr (c, ty_ctxt) =
   let
-    val ty_decl = Consts.the_declaration consts c;
+    val ty_decl = Consts.the_type consts c;
     val (tys, tys_decl) = pairself (curry (Consts.typargs consts) c) (ty_ctxt, ty_decl);
     val sorts = map (snd o dest_TVar) tys_decl;
   in
     fold_map (exprgen_dicts thy algbr funcgr) (tys ~~ sorts)
   end