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