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