Module QCheck_base_runner.Raw

Internal Utils

We provide NO stability guarantee for this module. Use at your own risks.

type ('b, 'c) printer = {
info : a. ('a, 'b, 'c, unit) Pervasives.format4 ‑> 'a;
fail : a. ('a, 'b, 'c, unit) Pervasives.format4 ‑> 'a;
err : a. ('a, 'b, 'c, unit) Pervasives.format4 ‑> 'a;
}
val print_std : (Pervasives.out_channel, unit) printer
val callback : verbose:bool ‑> print_res:bool ‑> print:('a, 'b) printer ‑> string ‑> 'c QCheck.Test.cell ‑> 'c QCheck.TestResult.t ‑> unit
type cli_args = {
cli_verbose : bool;
cli_long_tests : bool;
cli_print_list : bool;
cli_rand : Random.State.t;
cli_slow_test : int;
cli_colors : bool;
}
val parse_cli : full_options:bool ‑> string array ‑> cli_args