let
export_tau fmt t =
array_flag :=
true
;
export_tau fmt t