method pp_term_setfield fmt r f v = Format.fprintf fmt "@[<hv 2>%a@,.{%a <-@ %a}@]" self#pp_term_atom r self#pp_id f.f_name self#pp_term v