sig
  type 'a t
  val bind :
    'Raw_quickcheck_generator.t ->
    ('-> 'Raw_quickcheck_generator.t) -> 'Raw_quickcheck_generator.t
  module Choice :
    sig
      type 'a t
      val original_gen :
        'Raw_quickcheck_generator.Choice.t ->
        'Raw_quickcheck_generator.Choice.t
      val updated_gen :
        'Raw_quickcheck_generator.Choice.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 ] ->
        'Raw_quickcheck_generator.Choice.t
      val value : 'Raw_quickcheck_generator.Choice.t -> 'a
      val attempts_used : 'Raw_quickcheck_generator.Choice.t -> int
    end
  val bind_choice :
    'Raw_quickcheck_generator.t ->
    ('Raw_quickcheck_generator.Choice.t -> 'Raw_quickcheck_generator.t) ->
    'Raw_quickcheck_generator.t
  val failure : 'Raw_quickcheck_generator.t
  val singleton : '-> 'Raw_quickcheck_generator.t
  val weighted_union :
    (float * 'Raw_quickcheck_generator.t) list ->
    'Raw_quickcheck_generator.t
  val of_fun :
    (unit -> 'Raw_quickcheck_generator.t) -> 'Raw_quickcheck_generator.t
  val choose :
    'Raw_quickcheck_generator.t ->
    random_float_between_zero_and_one:(unit -> float) ->
    max_attempts:int ->
    [ `Choice of 'Raw_quickcheck_generator.Choice.t
    | `No_choices_remain
    | `Ran_out_of_attempts ]
  val inspect :
    'Raw_quickcheck_generator.t ->
    [ `Failure
    | `Singleton of 'a
    | `Weighted_union of (float * 'Raw_quickcheck_generator.t) list ]
end