src/HOLCF/Tools/repdef.ML

 fun below_const T = Const (@{const_name below}, T --> T --> HOLogic.boolT);
 
 val natT = @{typ nat};
 val udomT = @{typ udom};
 fun alg_deflT T = Type (@{type_name alg_defl}, [T]);
-fun cfunT (T, U) = Type (@{type_name "->"}, [T, U]);
+fun cfunT (T, U) = Type (@{type_name cfun}, [T, U]);
 fun emb_const T = Const (@{const_name emb}, cfunT (T, udomT));
 fun prj_const T = Const (@{const_name prj}, cfunT (udomT, T));
 fun approx_const T = Const (@{const_name approx}, natT --> cfunT (T, T));
 
 fun LAM_const (T, U) = Const (@{const_name Abs_CFun}, (T --> U) --> cfunT (T, U));