(* Title: SpecCheck/Generators/gen.ML Author: Kevin Kappelmann, TU Muenchen Structure containing all generators. *) structure SpecCheck_Generator = struct open SpecCheck_Gen_Types open SpecCheck_Gen_Base open SpecCheck_Gen_Text open SpecCheck_Gen_Real open SpecCheck_Gen_Int open SpecCheck_Gen_Function open SpecCheck_Gen_Term end