Theory SpecCheck_Shrink

✐‹creator "Kevin Kappelmann"›
section ‹Shrinkers›
theory SpecCheck_Shrink
imports SpecCheck_Generators
begin

paragraph ‹Summary›
text ‹Shrinkers for SpecCheck take a value and return a sequence of smaller values derived from it.
Refer to @{file "shrink_base.ML"} for some basic examples.›

ML_file ‹shrink_types.ML›
ML_file ‹shrink_base.ML›
ML_file ‹shrink.ML›

end