Theory ML_Generic_Data_Utils

✐‹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