sig
type 'a t = 'a Raw_quickcheck_observer.t
type 'a gen = 'a Raw_quickcheck_generator.t
val branching_factor : 'a t -> int
val observe :
'a t ->
'b Raw_quickcheck_generator.t ->
sexp_of_rng:('b -> Sexplib.Sexp.t) ->
branching_factor:int ->
(('a -> 'b) * (unit -> Sexplib.Sexp.t)) Raw_quickcheck_generator.t
val singleton : unit -> 'a t
val unmap : 'a t -> f:('b -> 'a) -> f_sexp:(unit -> Sexplib.Sexp.t) -> 'b t
val weighted_union : (float * 'a t) list -> 'a t
val variant2 : 'a t -> 'b t -> [ `A of 'a | `B of 'b ] t
val tuple2 : 'a t -> 'b t -> ('a * 'b) t
val tuple3 : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t
val tuple4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t
val tuple5 :
'a t -> 'b t -> 'c t -> 'd t -> 'e t -> ('a * 'b * 'c * 'd * 'e) t
val tuple6 :
'a t ->
'b t -> 'c t -> 'd t -> 'e t -> 'f t -> ('a * 'b * 'c * 'd * 'e * 'f) t
val fn :
?p:float ->
'a Raw_quickcheck_generator.t ->
'b t -> sexp_of_dom:('a -> Sexplib.Sexp.t) -> ('a -> 'b) t
val of_fun : (unit -> 'a t) -> 'a t
val unit : unit Quickcheck_observer.t
val bool : bool Quickcheck_observer.t
val int : int Quickcheck_observer.t
val float : float Quickcheck_observer.t
val string : string Quickcheck_observer.t
val char : char Quickcheck_observer.t
val sexp : Std_internal.Sexp.t Quickcheck_observer.t
val doubleton :
('a -> bool) ->
f_sexp:(unit -> Std_internal.Sexp.t) -> 'a Quickcheck_observer.t
val enum :
int ->
f:('a -> int) ->
f_sexp:(unit -> Std_internal.Sexp.t) -> 'a Quickcheck_observer.t
val of_list :
'a list ->
equal:('a -> 'a -> bool) ->
sexp_of_elt:('a -> Std_internal.Sexp.t) -> 'a Quickcheck_observer.t
val option : 'a Quickcheck_observer.t -> 'a option Quickcheck_observer.t
val list : 'a Quickcheck_observer.t -> 'a list Quickcheck_observer.t
val recursive :
('a Quickcheck_observer.t -> 'a Quickcheck_observer.t) ->
'a Quickcheck_observer.t
val either :
'a Quickcheck_observer.t ->
'b Quickcheck_observer.t -> ('a, 'b) Either.t Quickcheck_observer.t
val variant3 :
'a Quickcheck_observer.t ->
'b Quickcheck_observer.t ->
'c Quickcheck_observer.t ->
[ `A of 'a | `B of 'b | `C of 'c ] Quickcheck_observer.t
val variant4 :
'a Quickcheck_observer.t ->
'b Quickcheck_observer.t ->
'c Quickcheck_observer.t ->
'd Quickcheck_observer.t ->
[ `A of 'a | `B of 'b | `C of 'c | `D of 'd ] Quickcheck_observer.t
val variant5 :
'a Quickcheck_observer.t ->
'b Quickcheck_observer.t ->
'c Quickcheck_observer.t ->
'd Quickcheck_observer.t ->
'e Quickcheck_observer.t ->
[ `A of 'a | `B of 'b | `C of 'c | `D of 'd | `E of 'e ]
Quickcheck_observer.t
val variant6 :
'a Quickcheck_observer.t ->
'b Quickcheck_observer.t ->
'c Quickcheck_observer.t ->
'd Quickcheck_observer.t ->
'e Quickcheck_observer.t ->
'f Quickcheck_observer.t ->
[ `A of 'a | `B of 'b | `C of 'c | `D of 'd | `E of 'e | `F of 'f ]
Quickcheck_observer.t
val of_predicate :
'a Quickcheck_observer.t ->
'a Quickcheck_observer.t ->
f:('a -> bool) ->
f_sexp:(unit -> Std_internal.Sexp.t) -> 'a Quickcheck_observer.t
val comparison :
compare:('a -> 'a -> int) ->
eq:'a ->
lt:'a Quickcheck_observer.t ->
gt:'a Quickcheck_observer.t ->
compare_sexp:(unit -> Std_internal.Sexp.t) ->
sexp_of_eq:('a -> Std_internal.Sexp.t) -> 'a Quickcheck_observer.t
val int_between :
lower_bound:int Comparable.bound ->
upper_bound:int Comparable.bound -> int Quickcheck_observer.t
end