package alg_structs_qcheck

  1. Overview
  2. Docs
val test_law : string -> string -> string -> ?if_assumptions_fail:([ `Fatal | `Warning ] * float) -> ?count:int -> ?long_factor:int -> ?max_gen:int -> ?max_fail:int -> ?small:('a -> int) -> 'a QCheck.arbitrary -> ('a -> bool) -> QCheck.Test.t
val make_tests : ('a -> 'b list) -> 'a list -> 'b list
val int_fun : (int -> int) QCheck.fun_ QCheck.arbitrary
val int_int_fun : (int -> int -> int) QCheck.fun_ QCheck.arbitrary
val int_list_fun : (int list -> int list) QCheck.fun_ QCheck.arbitrary
OCaml

Innovation. Community. Security.