sig
  type 'a cell
  val make_cell :
    ?count: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 option
  val set_name : 'a QCheck.Test.cell -> string -> unit
  type t = Test : 'a QCheck.Test.cell -> QCheck.Test.t
  val make :
    ?count: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 check_result : 'a QCheck.Test.cell -> 'a QCheck.TestResult.t -> unit
  type 'a callback =
      string -> 'a QCheck.Test.cell -> 'a QCheck.TestResult.t -> unit
  val check_cell :
    ?call:'a QCheck.Test.callback ->
    ?rand:Random.State.t -> 'a QCheck.Test.cell -> 'a QCheck.TestResult.t
  val check_cell_exn :
    ?call:'a QCheck.Test.callback ->
    ?rand:Random.State.t -> 'a QCheck.Test.cell -> unit
  val check_exn : ?rand:Random.State.t -> QCheck.Test.t -> unit
end