File ‹shrink_types.ML›

(*  Title:      SpecCheck/Shrink/shrink_types.ML
    Author:     Kevin Kappelmann

Shared type definitions for SpecCheck shrinkable types.
*)

signature SPECCHECK_SHRINK_TYPES =
sig
  type 'a shrink = 'a -> 'a Seq.seq
end

structure SpecCheck_Shrink_Types : SPECCHECK_SHRINK_TYPES =
struct

type 'a shrink = 'a -> 'a Seq.seq

end