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