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