let
rec
export_term fmt t =
Fol_pretty
.fpp_term export_term export_data fmt t