sig
  type 'a t = 'Raw_quickcheck_generator.t
  type 'a obs = 'Raw_quickcheck_observer.t
  module Choice :
    sig
      type 'a t
      val original_gen : 'a t -> 'a t
      val updated_gen :
        'a t ->
        keep:[ `All_choices
             | `All_choices_except_this_choice
             | `Choices_to_the_left_of_this_choice_only
             | `Choices_to_the_right_of_this_choice_only
             | `This_choice_and_all_choices_to_the_left
             | `This_choice_and_all_choices_to_the_right ] ->
        'a t
      val value : 'a t -> 'a
      val attempts_used : 'a t -> int
    end
  val bind_choice : 'a t -> ('Choice.t -> 'b t) -> 'b t
  val failure : 'a t
  val weighted_union : (float * 'a t) list -> 'a t
  val of_fun : (unit -> 'a t) -> 'a t
  val choose :
    'a t ->
    random_float_between_zero_and_one:(unit -> float) ->
    max_attempts:int ->
    [ `Choice of 'Choice.t | `No_choices_remain | `Ran_out_of_attempts ]
  val inspect :
    'a t ->
    [ `Failure | `Singleton of '| `Weighted_union of (float * 'a t) list ]
  val ( >>= ) : 'a t -> ('-> 'b t) -> 'b t
  val ( >>| ) : 'a t -> ('-> 'b) -> 'b t
  module Monad_infix :
    sig
      val ( >>= ) : 'a t -> ('-> 'b t) -> 'b t
      val ( >>| ) : 'a t -> ('-> 'b) -> 'b t
    end
  val bind : 'a t -> ('-> 'b t) -> 'b t
  val return : '-> 'a t
  val map : 'a t -> f:('-> 'b) -> 'b t
  val join : 'a t t -> 'a t
  val ignore_m : 'a t -> unit t
  val all : 'a t list -> 'a list t
  val all_ignore : unit t list -> unit t
  val unit : unit Quickcheck_generator.t
  val bool : bool Quickcheck_generator.t
  val int : int Quickcheck_generator.t
  val float : float Quickcheck_generator.t
  val string : string Quickcheck_generator.t
  val char : char Quickcheck_generator.t
  val sexp : Std_internal.Sexp.t Quickcheck_generator.t
  val char_digit : char Quickcheck_generator.t
  val char_lowercase : char Quickcheck_generator.t
  val char_uppercase : char Quickcheck_generator.t
  val char_alpha : char Quickcheck_generator.t
  val char_alphanum : char Quickcheck_generator.t
  val char_print : char Quickcheck_generator.t
  val char_whitespace : char Quickcheck_generator.t
  val string_of :
    char Quickcheck_generator.t -> string Quickcheck_generator.t
  val singleton : '-> 'Quickcheck_generator.t
  val doubleton : '-> '-> 'Quickcheck_generator.t
  val of_list : 'a list -> 'Quickcheck_generator.t
  val union : 'Quickcheck_generator.t list -> 'Quickcheck_generator.t
  val of_sequence :
    ?p:Percent.t -> 'Sequence.t -> 'Quickcheck_generator.t
  val tuple2 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t -> ('a * 'b) Quickcheck_generator.t
  val tuple3 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t -> ('a * 'b * 'c) Quickcheck_generator.t
  val tuple4 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t -> ('a * 'b * 'c * 'd) Quickcheck_generator.t
  val tuple5 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    ('a * 'b * 'c * 'd * 'e) Quickcheck_generator.t
  val tuple6 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    ('a * 'b * 'c * 'd * 'e * 'f) Quickcheck_generator.t
  val either :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t -> ('a, 'b) Either.t Quickcheck_generator.t
  val variant2 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    [ `A of '| `B of 'b ] Quickcheck_generator.t
  val variant3 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    [ `A of '| `B of '| `C of 'c ] Quickcheck_generator.t
  val variant4 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    [ `A of '| `B of '| `C of '| `D of 'd ] Quickcheck_generator.t
  val variant5 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    [ `A of '| `B of '| `C of '| `D of '| `E of 'e ]
    Quickcheck_generator.t
  val variant6 :
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    'Quickcheck_generator.t ->
    [ `A of '| `B of '| `C of '| `D of '| `E of '| `F of 'f ]
    Quickcheck_generator.t
  val option : 'Quickcheck_generator.t -> 'a option Quickcheck_generator.t
  val size : int Quickcheck_generator.t
  val fn :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t -> ('-> 'b) Quickcheck_generator.t
  val fn2 :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t -> ('-> '-> 'c) Quickcheck_generator.t
  val fn3 :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    ('-> '-> '-> 'd) Quickcheck_generator.t
  val fn4 :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    ('-> '-> '-> '-> 'e) Quickcheck_generator.t
  val fn5 :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    ('-> '-> '-> '-> '-> 'f) Quickcheck_generator.t
  val fn6 :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    ('-> '-> '-> '-> '-> '-> 'g) Quickcheck_generator.t
  val compare_fn :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs -> ('-> '-> int) Quickcheck_generator.t
  val equal_fn :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs -> ('-> '-> bool) Quickcheck_generator.t
  type ('a, 'b) fn_with_sexp = ('-> 'b) * (unit -> Std_internal.Sexp.t)
  val fn_sexp :
    ('a, 'b) Quickcheck_generator.fn_with_sexp -> Std_internal.Sexp.t
  val compare_fn_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    ('a, '-> int) Quickcheck_generator.fn_with_sexp Quickcheck_generator.t
  val equal_fn_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    ('a, '-> bool) Quickcheck_generator.fn_with_sexp Quickcheck_generator.t
  val fn_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    sexp_of_rng:('-> Std_internal.Sexp.t) ->
    ('a, 'b) Quickcheck_generator.fn_with_sexp Quickcheck_generator.t
  val fn2_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    sexp_of_rng:('-> Std_internal.Sexp.t) ->
    ('a, '-> 'c) Quickcheck_generator.fn_with_sexp Quickcheck_generator.t
  val fn3_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    sexp_of_rng:('-> Std_internal.Sexp.t) ->
    ('a, '-> '-> 'd) Quickcheck_generator.fn_with_sexp
    Quickcheck_generator.t
  val fn4_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    sexp_of_rng:('-> Std_internal.Sexp.t) ->
    ('a, '-> '-> '-> 'e) Quickcheck_generator.fn_with_sexp
    Quickcheck_generator.t
  val fn5_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    sexp_of_rng:('-> Std_internal.Sexp.t) ->
    ('a, '-> '-> '-> '-> 'f) Quickcheck_generator.fn_with_sexp
    Quickcheck_generator.t
  val fn6_with_sexp :
    ?branching_factor:int Quickcheck_generator.t ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.obs ->
    'Quickcheck_generator.t ->
    sexp_of_rng:('-> Std_internal.Sexp.t) ->
    ('a, '-> '-> '-> '-> '-> 'g) Quickcheck_generator.fn_with_sexp
    Quickcheck_generator.t
  val filter_map :
    'Quickcheck_generator.t ->
    f:('-> 'b option) -> 'Quickcheck_generator.t
  val filter :
    'Quickcheck_generator.t -> f:('-> bool) -> 'Quickcheck_generator.t
  val recursive :
    ('Quickcheck_generator.t -> 'Quickcheck_generator.t) ->
    'Quickcheck_generator.t
  val list :
    ?length:[ `At_least of int
            | `At_most of int
            | `Between_inclusive of int * int
            | `Exactly of int ] ->
    ?unique:bool ->
    ?sorted:[ `Arbitrarily | `By of '-> '-> int ] ->
    'Quickcheck_generator.t -> 'a list Quickcheck_generator.t
  val permute : 'a list -> 'a list Quickcheck_generator.t
  val int_between :
    lower_bound:int Comparable.bound ->
    upper_bound:int Comparable.bound -> int Quickcheck_generator.t
  type nan_dist = Without | With_single | With_all
  val float_between :
    nan:Quickcheck_generator.nan_dist ->
    lower_bound:float Comparable.bound ->
    upper_bound:float Comparable.bound -> float Quickcheck_generator.t
  val float_without_nan : float Quickcheck_generator.t
  val float_finite : float Quickcheck_generator.t
  val sexp_of_fn_with_sexp :
    ('-> Sexplib.Sexp.t) ->
    ('-> Sexplib.Sexp.t) ->
    ('a, 'b) Quickcheck_generator.fn_with_sexp -> Sexplib.Sexp.t
end