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