sig
  val random_state : unit -> Random.State.t
  val verbose : unit -> bool
  val set_seed : int -> unit
  val set_verbose : bool -> unit
  val to_ounit_test :
    ?verbose:bool -> ?rand:Random.State.t -> QCheck.Test.t -> OUnit.test
  val to_ounit_test_cell :
    ?verbose:bool ->
    ?rand:Random.State.t -> 'a QCheck.Test.cell -> OUnit.test
  val ( >::: ) : string -> QCheck.Test.t list -> OUnit.test
  val to_ounit2_test : ?rand:Random.State.t -> QCheck.Test.t -> OUnit2.test
  val to_ounit2_test_list :
    ?rand:Random.State.t -> QCheck.Test.t list -> OUnit2.test list
  val run : ?argv:string array -> OUnit.test -> int
  val run_tap : OUnit.test -> OUnit.test_results
  val run_tests :
    ?verbose:bool ->
    ?out:Pervasives.out_channel ->
    ?rand:Random.State.t -> QCheck.Test.t list -> int
  val run_tests_main : ?argv:string array -> QCheck.Test.t list -> 'a
end