src/HOLCF/domain/library.ML

 	    list);			(* argument list      *)
 type eq = (string *		(* name      of abstracted type *)
 	   typ list) *		(* arguments of abstracted type *)
 	  cons list;		(* represented type, as a constructor list *)
 
-val rec_of    = snd o first;
-val is_lazy   = fst o first;
+fun rec_of arg  = snd (first arg);
+fun is_lazy arg = fst (first arg);
 val sel_of    =       second;
 val     vname =       third;
 val upd_vname =   upd_third;
 fun is_rec         arg = rec_of arg >=0;
 fun is_nonlazy_rec arg = is_rec arg andalso not (is_lazy arg);