Up

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