sig
  type 'a t
  val branching_factor : 'a Raw_quickcheck_observer.t -> int
  val observe :
    'a Raw_quickcheck_observer.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 Raw_quickcheck_observer.t
  val unmap :
    'a Raw_quickcheck_observer.t ->
    f:('b -> 'a) ->
    f_sexp:(unit -> Sexplib.Sexp.t) -> 'b Raw_quickcheck_observer.t
  val weighted_union :
    (float * 'a Raw_quickcheck_observer.t) list ->
    'a Raw_quickcheck_observer.t
  val variant2 :
    'a Raw_quickcheck_observer.t ->
    'b Raw_quickcheck_observer.t ->
    [ `A of 'a | `B of 'b ] Raw_quickcheck_observer.t
  val tuple2 :
    'a Raw_quickcheck_observer.t ->
    'b Raw_quickcheck_observer.t -> ('a * 'b) Raw_quickcheck_observer.t
  val tuple3 :
    'a Raw_quickcheck_observer.t ->
    'b Raw_quickcheck_observer.t ->
    'c Raw_quickcheck_observer.t -> ('a * 'b * 'c) Raw_quickcheck_observer.t
  val tuple4 :
    'a Raw_quickcheck_observer.t ->
    'b Raw_quickcheck_observer.t ->
    'c Raw_quickcheck_observer.t ->
    'd Raw_quickcheck_observer.t ->
    ('a * 'b * 'c * 'd) Raw_quickcheck_observer.t
  val tuple5 :
    'a Raw_quickcheck_observer.t ->
    'b Raw_quickcheck_observer.t ->
    'c Raw_quickcheck_observer.t ->
    'd Raw_quickcheck_observer.t ->
    'e Raw_quickcheck_observer.t ->
    ('a * 'b * 'c * 'd * 'e) Raw_quickcheck_observer.t
  val tuple6 :
    'a Raw_quickcheck_observer.t ->
    'b Raw_quickcheck_observer.t ->
    'c Raw_quickcheck_observer.t ->
    'd Raw_quickcheck_observer.t ->
    'e Raw_quickcheck_observer.t ->
    'f Raw_quickcheck_observer.t ->
    ('a * 'b * 'c * 'd * 'e * 'f) Raw_quickcheck_observer.t
  val fn :
    ?p:float ->
    'a Raw_quickcheck_generator.t ->
    'b Raw_quickcheck_observer.t ->
    sexp_of_dom:('a -> Sexplib.Sexp.t) ->
    ('a -> 'b) Raw_quickcheck_observer.t
  val of_fun :
    (unit -> 'a Raw_quickcheck_observer.t) -> 'a Raw_quickcheck_observer.t
end