let
export_tau fmt t =
export_tau
L
.tau_of_ctype_logic fmt t