✐‹creator "Kevin Kappelmann"› section ‹ML Generic Data Utils› theory ML_Generic_Data_Utils imports Pure begin paragraph ‹Summary› text ‹Utilities for @{ML_functor Generic_Data}.› ML_file‹pair_generic_data_args.ML› end