method pp_tau_adt fmt a ts = match ts with | [] -> self#pp_id fmt a | [t] -> Format.fprintf fmt "@[%a %a@]" self#pp_tau t self#pp_id a | ts -> Format.fprintf fmt "@[%a %a@]" (pp_tuple self#pp_tau) ts self#pp_id a