File ‹shrink.ML›

(*  Title:      SpecCheck/Shrink/shrink.ML
    Author:     Kevin Kappelmann, TU Muenchen

Structure containing all shrink functions.
*)
structure SpecCheck_Shrink =
struct

open SpecCheck_Shrink_Base

end