let export_tau fmt t =
    export_tau L.tau_of_ctype_logic fmt t