let
export_goal fmt g p =
export_goal
L
.tau_of_ctype_logic fmt g p