let export_item tau_of_ctype_logic fmt name item = fpp_item (export_pred tau_of_ctype_logic) fmt name item