let export_and_clear_axioms acc = let build ax_name ax = Fol.Axiom (ax_name, ax) in export_and_clear axiom_table build acc