let inst = make_lams v nargs in
prerr_endline ("# INST_IN_EAT: " ^ string_of_var p.var_names hd ^ " := " ^ string_of_term p inst);
{ p with sigma = p.sigma @ [hd,inst] }
let inst = make_lams v nargs in
prerr_endline ("# INST_IN_EAT: " ^ string_of_var p.var_names hd ^ " := " ^ string_of_term p inst);
{ p with sigma = p.sigma @ [hd,inst] }