let
export_goal fmt x g =
Fol_pretty
.fpp_goal export_pred fmt x g