sig
  val ( ==> ) : bool -> bool -> bool
  val assume : bool -> unit
  val assume_fail : unit -> 'a
  module Gen :
    sig
      type 'a t = Random.State.t -> 'a
      type 'a sized = int -> Random.State.t -> 'a
      val return : 'a -> 'a QCheck.Gen.t
      val ( >>= ) :
        'a QCheck.Gen.t -> ('a -> 'b QCheck.Gen.t) -> 'b QCheck.Gen.t
      val ( <*> ) :
        ('a -> 'b) QCheck.Gen.t -> 'a QCheck.Gen.t -> 'b QCheck.Gen.t
      val map : ('a -> 'b) -> 'a QCheck.Gen.t -> 'b QCheck.Gen.t
      val map2 :
        ('a -> 'b -> 'c) ->
        'a QCheck.Gen.t -> 'b QCheck.Gen.t -> 'c QCheck.Gen.t
      val map3 :
        ('a -> 'b -> 'c -> 'd) ->
        'a QCheck.Gen.t ->
        'b QCheck.Gen.t -> 'c QCheck.Gen.t -> 'd QCheck.Gen.t
      val map_keep_input :
        ('a -> 'b) -> 'a QCheck.Gen.t -> ('a * 'b) QCheck.Gen.t
      val ( >|= ) : 'a QCheck.Gen.t -> ('a -> 'b) -> 'b QCheck.Gen.t
      val oneof : 'a QCheck.Gen.t list -> 'a QCheck.Gen.t
      val oneofl : 'a list -> 'a QCheck.Gen.t
      val oneofa : 'a array -> 'a QCheck.Gen.t
      val frequency : (int * 'a QCheck.Gen.t) list -> 'a QCheck.Gen.t
      val frequencyl : (int * 'a) list -> 'a QCheck.Gen.t
      val frequencya : (int * 'a) array -> 'a QCheck.Gen.t
      val shuffle_a : 'a array -> unit QCheck.Gen.t
      val shuffle_l : 'a list -> 'a list QCheck.Gen.t
      val unit : unit QCheck.Gen.t
      val bool : bool QCheck.Gen.t
      val float : float QCheck.Gen.t
      val pfloat : float QCheck.Gen.t
      val nfloat : float QCheck.Gen.t
      val nat : int QCheck.Gen.t
      val neg_int : int QCheck.Gen.t
      val pint : int QCheck.Gen.t
      val int : int QCheck.Gen.t
      val small_nat : int QCheck.Gen.t
      val small_int : int QCheck.Gen.t
      val small_signed_int : int QCheck.Gen.t
      val int_bound : int -> int QCheck.Gen.t
      val int_range : int -> int -> int QCheck.Gen.t
      val graft_corners :
        'a QCheck.Gen.t -> 'a list -> unit -> 'a QCheck.Gen.t
      val int_pos_corners : int list
      val int_corners : int list
      val ( -- ) : int -> int -> int QCheck.Gen.t
      val ui32 : int32 QCheck.Gen.t
      val ui64 : int64 QCheck.Gen.t
      val list : 'a QCheck.Gen.t -> 'a list QCheck.Gen.t
      val list_size :
        int QCheck.Gen.t -> 'a QCheck.Gen.t -> 'a list QCheck.Gen.t
      val list_repeat : int -> 'a QCheck.Gen.t -> 'a list QCheck.Gen.t
      val array : 'a QCheck.Gen.t -> 'a array QCheck.Gen.t
      val array_size :
        int QCheck.Gen.t -> 'a QCheck.Gen.t -> 'a array QCheck.Gen.t
      val array_repeat : int -> 'a QCheck.Gen.t -> 'a array QCheck.Gen.t
      val opt : 'a QCheck.Gen.t -> 'a option QCheck.Gen.t
      val pair : 'a QCheck.Gen.t -> 'b QCheck.Gen.t -> ('a * 'b) QCheck.Gen.t
      val triple :
        'a QCheck.Gen.t ->
        'b QCheck.Gen.t -> 'c QCheck.Gen.t -> ('a * 'b * 'c) QCheck.Gen.t
      val quad :
        'a QCheck.Gen.t ->
        'b QCheck.Gen.t ->
        'c QCheck.Gen.t ->
        'd QCheck.Gen.t -> ('a * 'b * 'c * 'd) QCheck.Gen.t
      val char : char QCheck.Gen.t
      val printable : char QCheck.Gen.t
      val numeral : char QCheck.Gen.t
      val string_size :
        ?gen:char QCheck.Gen.t -> int QCheck.Gen.t -> string QCheck.Gen.t
      val string : ?gen:char QCheck.Gen.t -> string QCheck.Gen.t
      val small_string : ?gen:char QCheck.Gen.t -> string QCheck.Gen.t
      val small_list : 'a QCheck.Gen.t -> 'a list QCheck.Gen.t
      val join : 'a QCheck.Gen.t QCheck.Gen.t -> 'a QCheck.Gen.t
      val sized : 'a QCheck.Gen.sized -> 'a QCheck.Gen.t
      val sized_size :
        int QCheck.Gen.t -> 'a QCheck.Gen.sized -> 'a QCheck.Gen.t
      val fix :
        ('a QCheck.Gen.sized -> 'a QCheck.Gen.sized) -> 'a QCheck.Gen.sized
      val generate :
        ?rand:Random.State.t -> n:int -> 'a QCheck.Gen.t -> 'a list
      val generate1 : ?rand:Random.State.t -> 'a QCheck.Gen.t -> 'a
    end
  module Print :
    sig
      type 'a t = 'a -> string
      val unit : unit QCheck.Print.t
      val int : int QCheck.Print.t
      val bool : bool QCheck.Print.t
      val float : float QCheck.Print.t
      val char : char QCheck.Print.t
      val string : string QCheck.Print.t
      val option : 'a QCheck.Print.t -> 'a option QCheck.Print.t
      val pair :
        'a QCheck.Print.t -> 'b QCheck.Print.t -> ('a * 'b) QCheck.Print.t
      val triple :
        'a QCheck.Print.t ->
        'b QCheck.Print.t ->
        'c QCheck.Print.t -> ('a * 'b * 'c) QCheck.Print.t
      val quad :
        'a QCheck.Print.t ->
        'b QCheck.Print.t ->
        'c QCheck.Print.t ->
        'd QCheck.Print.t -> ('a * 'b * 'c * 'd) QCheck.Print.t
      val list : 'a QCheck.Print.t -> 'a list QCheck.Print.t
      val array : 'a QCheck.Print.t -> 'a array QCheck.Print.t
      val comap : ('a -> 'b) -> 'b QCheck.Print.t -> 'a QCheck.Print.t
    end
  module Iter :
    sig
      type 'a t = ('a -> unit) -> unit
      val empty : 'a QCheck.Iter.t
      val return : 'a -> 'a QCheck.Iter.t
      val ( <*> ) :
        ('a -> 'b) QCheck.Iter.t -> 'a QCheck.Iter.t -> 'b QCheck.Iter.t
      val ( >>= ) :
        'a QCheck.Iter.t -> ('a -> 'b QCheck.Iter.t) -> 'b QCheck.Iter.t
      val map : ('a -> 'b) -> 'a QCheck.Iter.t -> 'b QCheck.Iter.t
      val map2 :
        ('a -> 'b -> 'c) ->
        'a QCheck.Iter.t -> 'b QCheck.Iter.t -> 'c QCheck.Iter.t
      val ( >|= ) : 'a QCheck.Iter.t -> ('a -> 'b) -> 'b QCheck.Iter.t
      val append : 'a QCheck.Iter.t -> 'a QCheck.Iter.t -> 'a QCheck.Iter.t
      val ( <+> ) : 'a QCheck.Iter.t -> 'a QCheck.Iter.t -> 'a QCheck.Iter.t
      val of_list : 'a list -> 'a QCheck.Iter.t
      val of_array : 'a array -> 'a QCheck.Iter.t
      val pair :
        'a QCheck.Iter.t -> 'b QCheck.Iter.t -> ('a * 'b) QCheck.Iter.t
      val triple :
        'a QCheck.Iter.t ->
        'b QCheck.Iter.t -> 'c QCheck.Iter.t -> ('a * 'b * 'c) QCheck.Iter.t
      val quad :
        'a QCheck.Iter.t ->
        'b QCheck.Iter.t ->
        'c QCheck.Iter.t ->
        'd QCheck.Iter.t -> ('a * 'b * 'c * 'd) QCheck.Iter.t
      val find : ('a -> bool) -> 'a QCheck.Iter.t -> 'a option
    end
  module Shrink :
    sig
      type 'a t = 'a -> 'a QCheck.Iter.t
      val nil : 'a QCheck.Shrink.t
      val unit : unit QCheck.Shrink.t
      val char : char QCheck.Shrink.t
      val int : int QCheck.Shrink.t
      val option : 'a QCheck.Shrink.t -> 'a option QCheck.Shrink.t
      val string : string QCheck.Shrink.t
      val int_aggressive : int QCheck.Shrink.t
      val list : ?shrink:'a QCheck.Shrink.t -> 'a list QCheck.Shrink.t
      val array : ?shrink:'a QCheck.Shrink.t -> 'a array QCheck.Shrink.t
      val pair :
        'a QCheck.Shrink.t -> 'b QCheck.Shrink.t -> ('a * 'b) QCheck.Shrink.t
      val triple :
        'a QCheck.Shrink.t ->
        'b QCheck.Shrink.t ->
        'c QCheck.Shrink.t -> ('a * 'b * 'c) QCheck.Shrink.t
      val quad :
        'a QCheck.Shrink.t ->
        'b QCheck.Shrink.t ->
        'c QCheck.Shrink.t ->
        'd QCheck.Shrink.t -> ('a * 'b * 'c * 'd) QCheck.Shrink.t
    end
  module Observable :
    sig
      type -'a t
      val equal : 'a QCheck.Observable.t -> 'a -> 'a -> bool
      val hash : 'a QCheck.Observable.t -> 'a -> int
      val print : 'a QCheck.Observable.t -> 'a QCheck.Print.t
      val unit : unit QCheck.Observable.t
      val bool : bool QCheck.Observable.t
      val int : int QCheck.Observable.t
      val float : float QCheck.Observable.t
      val string : string QCheck.Observable.t
      val char : char QCheck.Observable.t
      val make :
        ?eq:('a -> 'a -> bool) ->
        ?hash:('a -> int) -> 'a QCheck.Print.t -> 'a QCheck.Observable.t
      val map :
        ('a -> 'b) -> 'b QCheck.Observable.t -> 'a QCheck.Observable.t
      val option : 'a QCheck.Observable.t -> 'a option QCheck.Observable.t
      val list : 'a QCheck.Observable.t -> 'a list QCheck.Observable.t
      val array : 'a QCheck.Observable.t -> 'a array QCheck.Observable.t
      val pair :
        'a QCheck.Observable.t ->
        'b QCheck.Observable.t -> ('a * 'b) QCheck.Observable.t
      val triple :
        'a QCheck.Observable.t ->
        'b QCheck.Observable.t ->
        'c QCheck.Observable.t -> ('a * 'b * 'c) QCheck.Observable.t
      val quad :
        'a QCheck.Observable.t ->
        'b QCheck.Observable.t ->
        'c QCheck.Observable.t ->
        'd QCheck.Observable.t -> ('a * 'b * 'c * 'd) QCheck.Observable.t
    end
  type 'a stat = string * ('a -> int)
  type 'a arbitrary = {
    gen : 'a QCheck.Gen.t;
    print : ('a -> string) option;
    small : ('a -> int) option;
    shrink : 'a QCheck.Shrink.t option;
    collect : ('a -> string) option;
    stats : 'a QCheck.stat list;
  }
  val make :
    ?print:'a QCheck.Print.t ->
    ?small:('a -> int) ->
    ?shrink:'a QCheck.Shrink.t ->
    ?collect:('a -> string) ->
    ?stats:'a QCheck.stat list -> 'a QCheck.Gen.t -> 'a QCheck.arbitrary
  val set_print :
    'a QCheck.Print.t -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val set_small : ('a -> int) -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val set_shrink :
    'a QCheck.Shrink.t -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val set_collect :
    ('a -> string) -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val set_stats :
    'a QCheck.stat list -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val set_gen : 'a QCheck.Gen.t -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val add_stat : 'a QCheck.stat -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val gen : 'a QCheck.arbitrary -> 'a QCheck.Gen.t
  module TestResult :
    sig
      type 'a counter_ex = {
        instance : 'a;
        shrink_steps : int;
        msg_l : string list;
      }
      type 'a failed_state = 'a QCheck.TestResult.counter_ex list
      type 'a state =
          Success
        | Failed of 'a QCheck.TestResult.failed_state
        | Error of 'a QCheck.TestResult.counter_ex * exn * string
      type 'a t = {
        mutable state : 'a QCheck.TestResult.state;
        mutable count : int;
        mutable count_gen : int;
        collect_tbl : (string, int) Hashtbl.t lazy_t;
        stats_tbl : ('a QCheck.stat * (int, int) Hashtbl.t) list;
      }
      val collect : 'a QCheck.TestResult.t -> (string, int) Hashtbl.t option
      val stats :
        'a QCheck.TestResult.t ->
        ('a QCheck.stat * (int, int) Hashtbl.t) list
    end
  module Test :
    sig
      type 'a cell
      val fail_report : string -> 'a
      val fail_reportf :
        ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
      val make_cell :
        ?count:int ->
        ?long_factor:int ->
        ?max_gen:int ->
        ?max_fail:int ->
        ?small:('a -> int) ->
        ?name:string ->
        'a QCheck.arbitrary -> ('a -> bool) -> 'a QCheck.Test.cell
      val get_arbitrary : 'a QCheck.Test.cell -> 'a QCheck.arbitrary
      val get_law : 'a QCheck.Test.cell -> 'a -> bool
      val get_name : 'a QCheck.Test.cell -> string
      val set_name : 'a QCheck.Test.cell -> string -> unit
      val get_count : 'a QCheck.Test.cell -> int
      val get_long_factor : 'a QCheck.Test.cell -> int
      type t = Test : 'a QCheck.Test.cell -> QCheck.Test.t
      val make :
        ?count:int ->
        ?long_factor:int ->
        ?max_gen:int ->
        ?max_fail:int ->
        ?small:('a -> int) ->
        ?name:string -> 'a QCheck.arbitrary -> ('a -> bool) -> QCheck.Test.t
      exception Test_fail of string * string list
      exception Test_error of string * string * exn * string
      val print_instance : 'a QCheck.arbitrary -> 'a -> string
      val print_c_ex :
        'a QCheck.arbitrary -> 'a QCheck.TestResult.counter_ex -> string
      val print_fail :
        'a QCheck.arbitrary ->
        string -> 'a QCheck.TestResult.counter_ex list -> string
      val print_error :
        ?st:string ->
        'a QCheck.arbitrary ->
        string -> 'a QCheck.TestResult.counter_ex * exn -> string
      val print_test_fail : string -> string list -> string
      val print_test_error : string -> string -> exn -> string -> string
      val print_collect : (string, int) Hashtbl.t -> string
      val print_stat : 'a QCheck.stat * (int, int) Hashtbl.t -> string
      val check_result :
        'a QCheck.Test.cell -> 'a QCheck.TestResult.t -> unit
      type res = Success | Failure | FalseAssumption | Error of exn * string
      type 'a event =
          Generating
        | Collecting of 'a
        | Testing of 'a
        | Shrunk of int * 'a
        | Shrinking of int * int * 'a
      type 'a handler =
          string -> 'a QCheck.Test.cell -> 'a QCheck.Test.event -> unit
      type 'a step =
          string -> 'a QCheck.Test.cell -> 'a -> QCheck.Test.res -> unit
      type 'a callback =
          string -> 'a QCheck.Test.cell -> 'a QCheck.TestResult.t -> unit
      val check_cell :
        ?long:bool ->
        ?call:'a QCheck.Test.callback ->
        ?step:'a QCheck.Test.step ->
        ?handler:'a QCheck.Test.handler ->
        ?rand:Random.State.t -> 'a QCheck.Test.cell -> 'a QCheck.TestResult.t
      val check_cell_exn :
        ?long:bool ->
        ?call:'a QCheck.Test.callback ->
        ?step:'a QCheck.Test.step ->
        ?rand:Random.State.t -> 'a QCheck.Test.cell -> unit
      val check_exn :
        ?long:bool -> ?rand:Random.State.t -> QCheck.Test.t -> unit
    end
  exception No_example_found of string
  val find_example :
    ?name:string ->
    ?count:int -> f:('a -> bool) -> 'a QCheck.Gen.t -> 'a QCheck.Gen.t
  val find_example_gen :
    ?rand:Random.State.t ->
    ?name:string -> ?count:int -> f:('a -> bool) -> 'a QCheck.Gen.t -> 'a
  val choose : 'a QCheck.arbitrary list -> 'a QCheck.arbitrary
  val unit : unit QCheck.arbitrary
  val bool : bool QCheck.arbitrary
  val float : float QCheck.arbitrary
  val pos_float : float QCheck.arbitrary
  val neg_float : float QCheck.arbitrary
  val int : int QCheck.arbitrary
  val int_bound : int -> int QCheck.arbitrary
  val int_range : int -> int -> int QCheck.arbitrary
  val small_nat : int QCheck.arbitrary
  val small_int : int QCheck.arbitrary
  val small_signed_int : int QCheck.arbitrary
  val ( -- ) : int -> int -> int QCheck.arbitrary
  val int32 : int32 QCheck.arbitrary
  val int64 : int64 QCheck.arbitrary
  val pos_int : int QCheck.arbitrary
  val small_int_corners : unit -> int QCheck.arbitrary
  val neg_int : int QCheck.arbitrary
  val char : char QCheck.arbitrary
  val printable_char : char QCheck.arbitrary
  val numeral_char : char QCheck.arbitrary
  val string_gen_of_size :
    int QCheck.Gen.t -> char QCheck.Gen.t -> string QCheck.arbitrary
  val string_gen : char QCheck.Gen.t -> string QCheck.arbitrary
  val string : string QCheck.arbitrary
  val small_string : string QCheck.arbitrary
  val small_list : 'a QCheck.arbitrary -> 'a list QCheck.arbitrary
  val string_of_size : int QCheck.Gen.t -> string QCheck.arbitrary
  val printable_string : string QCheck.arbitrary
  val printable_string_of_size : int QCheck.Gen.t -> string QCheck.arbitrary
  val small_printable_string : string QCheck.arbitrary
  val numeral_string : string QCheck.arbitrary
  val numeral_string_of_size : int QCheck.Gen.t -> string QCheck.arbitrary
  val list : 'a QCheck.arbitrary -> 'a list QCheck.arbitrary
  val list_of_size :
    int QCheck.Gen.t -> 'a QCheck.arbitrary -> 'a list QCheck.arbitrary
  val array : 'a QCheck.arbitrary -> 'a array QCheck.arbitrary
  val array_of_size :
    int QCheck.Gen.t -> 'a QCheck.arbitrary -> 'a array QCheck.arbitrary
  val pair :
    'a QCheck.arbitrary -> 'b QCheck.arbitrary -> ('a * 'b) QCheck.arbitrary
  val triple :
    'a QCheck.arbitrary ->
    'b QCheck.arbitrary ->
    'c QCheck.arbitrary -> ('a * 'b * 'c) QCheck.arbitrary
  val quad :
    'a QCheck.arbitrary ->
    'b QCheck.arbitrary ->
    'c QCheck.arbitrary ->
    'd QCheck.arbitrary -> ('a * 'b * 'c * 'd) QCheck.arbitrary
  val option : 'a QCheck.arbitrary -> 'a option QCheck.arbitrary
  val fun1_unsafe :
    'a QCheck.arbitrary -> 'b QCheck.arbitrary -> ('a -> 'b) QCheck.arbitrary
  val fun2_unsafe :
    'a QCheck.arbitrary ->
    'b QCheck.arbitrary ->
    'c QCheck.arbitrary -> ('a -> 'b -> 'c) QCheck.arbitrary
  type _ fun_repr
  type _ fun_ = Fun : 'f QCheck.fun_repr * 'f -> 'f QCheck.fun_
  module Fn :
    sig
      type 'a t = 'a QCheck.fun_
      val print : 'a QCheck.Fn.t QCheck.Print.t
      val shrink : 'a QCheck.Fn.t QCheck.Shrink.t
      val apply : 'f QCheck.Fn.t -> 'f
    end
  val fun1 :
    'a QCheck.Observable.t ->
    'b QCheck.arbitrary -> ('a -> 'b) QCheck.fun_ QCheck.arbitrary
  module Tuple :
    sig
      type 'a t =
          Nil : unit QCheck.Tuple.t
        | Cons : 'a * 'b QCheck.Tuple.t -> ('a * 'b) QCheck.Tuple.t
      val nil : unit QCheck.Tuple.t
      val cons : 'a -> 'b QCheck.Tuple.t -> ('a * 'b) QCheck.Tuple.t
      type 'a obs
      val o_nil : unit QCheck.Tuple.obs
      val o_cons :
        'a QCheck.Observable.t ->
        'b QCheck.Tuple.obs -> ('a * 'b) QCheck.Tuple.obs
      module Infix :
        sig
          val ( @:: ) : 'a -> 'b QCheck.Tuple.t -> ('a * 'b) QCheck.Tuple.t
          val ( @-> ) :
            'a QCheck.Observable.t ->
            'b QCheck.Tuple.obs -> ('a * 'b) QCheck.Tuple.obs
        end
      val ( @:: ) : 'a -> 'b t -> ('a * 'b) t
      val ( @-> ) : 'a Observable.t -> 'b obs -> ('a * 'b) obs
      val observable :
        'a QCheck.Tuple.obs -> 'a QCheck.Tuple.t QCheck.Observable.t
    end
  val fun_nary :
    'a QCheck.Tuple.obs ->
    'b QCheck.arbitrary ->
    ('a QCheck.Tuple.t -> 'b) QCheck.fun_ QCheck.arbitrary
  val fun2 :
    'a QCheck.Observable.t ->
    'b QCheck.Observable.t ->
    'c QCheck.arbitrary -> ('a -> 'b -> 'c) QCheck.fun_ QCheck.arbitrary
  val fun3 :
    'a QCheck.Observable.t ->
    'b QCheck.Observable.t ->
    'c QCheck.Observable.t ->
    'd QCheck.arbitrary ->
    ('a -> 'b -> 'c -> 'd) QCheck.fun_ QCheck.arbitrary
  val fun4 :
    'a QCheck.Observable.t ->
    'b QCheck.Observable.t ->
    'c QCheck.Observable.t ->
    'd QCheck.Observable.t ->
    'e QCheck.arbitrary ->
    ('a -> 'b -> 'c -> 'd -> 'e) QCheck.fun_ QCheck.arbitrary
  val oneofl :
    ?print:'a QCheck.Print.t ->
    ?collect:('a -> string) -> 'a list -> 'a QCheck.arbitrary
  val oneofa :
    ?print:'a QCheck.Print.t ->
    ?collect:('a -> string) -> 'a array -> 'a QCheck.arbitrary
  val oneof : 'a QCheck.arbitrary list -> 'a QCheck.arbitrary
  val always : ?print:'a QCheck.Print.t -> 'a -> 'a QCheck.arbitrary
  val frequency :
    ?print:'a QCheck.Print.t ->
    ?small:('a -> int) ->
    ?shrink:'a QCheck.Shrink.t ->
    ?collect:('a -> string) ->
    (int * 'a QCheck.arbitrary) list -> 'a QCheck.arbitrary
  val frequencyl :
    ?print:'a QCheck.Print.t ->
    ?small:('a -> int) -> (int * 'a) list -> 'a QCheck.arbitrary
  val frequencya :
    ?print:'a QCheck.Print.t ->
    ?small:('a -> int) -> (int * 'a) array -> 'a QCheck.arbitrary
  val map :
    ?rev:('b -> 'a) ->
    ('a -> 'b) -> 'a QCheck.arbitrary -> 'b QCheck.arbitrary
  val map_same_type :
    ('a -> 'a) -> 'a QCheck.arbitrary -> 'a QCheck.arbitrary
  val map_keep_input :
    ?print:'b QCheck.Print.t ->
    ?small:('b -> int) ->
    ('a -> 'b) -> 'a QCheck.arbitrary -> ('a * 'b) QCheck.arbitrary
end