method pp_tau_set fmt te = Format.fprintf fmt "{%a..}" self#pp_tau te