Module Alg_structs_qcheck__.Utils

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