src/Pure/type_infer_context.ML

 
 (** prepare types/terms: create inference parameters **)
 
 (* constraints *)
 
-val const_sorts =
-  Config.bool (Config.declare ("const_sorts", \<^here>) (K (Config.Bool true)));
+val const_sorts = Config.declare_bool ("const_sorts", \<^here>) (K true);
 
 fun const_type ctxt =
   try ((not (Config.get ctxt const_sorts) ? Type.strip_sorts) o
     Consts.the_constraint (Proof_Context.consts_of ctxt));