let
add_glob_decls acc =
let
acc =
T
.export_fct_table
M
.fol acc
in
WpFol
.export_tables acc