method pp_tau_array fmt ta tb = match ta with | Integer -> Format.fprintf fmt "@[%a[]@]" self#pp_tau tb | _ -> Format.fprintf fmt "@[%a[%a]@]" self#pp_tau tb self#pp_tau ta