Module type S_bounded = Core_kernel.Quickcheck_intf.S_bounded with type 'a gen := 'a Core_kernel.Quickcheck.gen with type 'a obs := 'a Core_kernel.Quickcheck.obs with type 'a shr := 'a Core_kernel.Quickcheck.shr

Signature

include Quickcheck_intf.S

type 'a gen

type 'a obs

type 'a shr

type t

val gen : t gen

val obs : t obs

val shrinker : t shr

val gen_between : lower_bound:t Core_kernel.Maybe_bound.t -> upper_bound:t Core_kernel.Maybe_bound.t -> t gen

gen_between and obs_between produce generators and observers for values satisfying lower_bound and upper_bound. Both functions raise an exception if no values satisfy both lower_bound and upper_bound.

val obs_between : lower_bound:t Core_kernel.Maybe_bound.t -> upper_bound:t Core_kernel.Maybe_bound.t -> t obs