let export_types acc = let acc = Hashtbl.fold (fun _ e acc -> (Fol.Type e)::acc) type_table acc in let _ = Hashtbl.clear type_table in acc