sig   val random_state : unit -> Random.State.t   val verbose : unit -> bool   val long_tests : unit -> bool   val set_seed : int -> unit   val set_verbose : bool -> unit   val set_long_tests : bool -> unit   val to_ounit_test :     ?verbose:bool ->     ?long:bool -> ?rand:Random.State.t -> QCheck.Test.t -> OUnit.test   val to_ounit_test_cell :     ?verbose:bool ->     ?long:bool -> ?rand:Random.State.t -> '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 :     ?colors:bool ->     ?verbose:bool ->     ?long: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