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