File ‹gen.ML›

(*  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