sig
type 'a gen = unit -> 'a
val fg : float Quickcheck_deprecated.gen
val cg : char Quickcheck_deprecated.gen
val nng : int Quickcheck_deprecated.gen
val uig : int Quickcheck_deprecated.gen
val pg :
'a Quickcheck_deprecated.gen ->
'b Quickcheck_deprecated.gen -> ('a * 'b) Quickcheck_deprecated.gen
val tg :
'a Quickcheck_deprecated.gen ->
'b Quickcheck_deprecated.gen ->
'c Quickcheck_deprecated.gen -> ('a * 'b * 'c) Quickcheck_deprecated.gen
val lg :
'a Quickcheck_deprecated.gen ->
?size_gen:int Quickcheck_deprecated.gen ->
'a list Quickcheck_deprecated.gen
val sg :
?char_gen:char Quickcheck_deprecated.gen ->
?size_gen:int Quickcheck_deprecated.gen ->
string Quickcheck_deprecated.gen
val always : 'a -> 'a Quickcheck_deprecated.gen
val laws : int -> 'a Quickcheck_deprecated.gen -> ('a -> bool) -> 'a option
val laws_exn :
string -> int -> 'a Quickcheck_deprecated.gen -> ('a -> bool) -> unit
val repeat : int -> ('a -> unit) -> 'a Quickcheck_deprecated.gen -> unit
end