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.tval make_tests : ('a -> 'b list) -> 'a list -> 'b listval int_fun : (int -> int) QCheck.fun_ QCheck.arbitraryval int_int_fun : (int -> int -> int) QCheck.fun_ QCheck.arbitraryval int_list_fun : (int list -> int list) QCheck.fun_ QCheck.arbitrary