let export_tables acc =
Wp_parameters.debug ~level:3 "[wp-fol] export and clear tables.@.";
let acc = export_and_clear_axioms acc in
let acc = export_and_clear_globs acc in
let acc = export_and_clear_fields acc in
(* let acc = export_fct_table to_fol acc in *)
let acc = Types.export_types acc in
acc