Theory ML_Typeclasses_Base

✐‹creator "Kevin Kappelmann"›
section ‹Typeclasses›
theory ML_Typeclasses_Base
  imports
    Gen_ML_Typeclasses_Base
    ML_Eval_Antiquotation
begin

declare [[ParaT_args args: ['p1] sep: ", " encl: "" ", " encl_arg: "" "" stop: ]]

ML‹val sfx_ParaT_nargs = ML_Gen.sfx_ParaT_nargs›

ML_gen_file‹typeclass_base.ML›
ML_gen_file‹typeclass_base_instance.ML›

end