let export_decl fmt d =
    export_decl L.tau_of_ctype_logic fmt d