src/HOLCF/Tools/domain/domain_library.ML

 fun nonlazy     args   = map vname (filter_out is_lazy    args);
 fun nonlazy_rec args   = map vname (List.filter is_nonlazy_rec args);
 
 (* ----- qualified names of HOLCF constants ----- *)
 
-val lessN      = "Porder.<<"
+val lessN      = @{const_name Porder.sq_le};
 val UU_N       = "Pcpo.UU";
 val admN       = "Adm.adm";
 val compactN   = "Adm.compact";
 val Rep_CFunN  = "Cfun.Rep_CFun";
 val Abs_CFunN  = "Cfun.Abs_CFun";