✐‹creator "Kevin Kappelmann"› section ‹ML Generic Data Utils› theory ML_Generic_Data_Utils imports ML_Functor_Instances ML_Identifiers ML_Logger SpecCheck.SpecCheck_Show begin paragraph ‹Summary› text ‹Utilities for @{ML_functor Generic_Data}.› ML_file‹pair_generic_data_args.ML› ML_file‹generic_ord_list_id_data.ML› ML_file‹generic_table_data.ML› end