let export_and_clear_fields acc = let build v t = Fol.Function (v, [], t) in export_and_clear field_table build acc