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