let
export_decl fmt d =
export_decl
L
.tau_of_ctype_logic fmt d