File ‹gen_types.ML›
signature SPECCHECK_GEN_TYPES =
sig
type ('a, 's) gen_state = 's -> 'a * 's
type 'a gen = ('a, SpecCheck_Random.rand) gen_state
type ('a, 'b, 's) cogen_state = 'a -> ('b, 's) gen_state -> ('b, 's) gen_state
type ('a, 'b) cogen = ('a, 'b, SpecCheck_Random.rand) cogen_state
end
structure SpecCheck_Gen_Types : SPECCHECK_GEN_TYPES =
struct
type ('a, 's) gen_state = 's -> 'a * 's
type 'a gen = ('a, SpecCheck_Random.rand) gen_state
type ('a, 'b, 's) cogen_state = 'a -> ('b, 's) gen_state -> ('b, 's) gen_state
type ('a, 'b) cogen = ('a, 'b, SpecCheck_Random.rand) cogen_state
end