Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package alg_structs_qcheck
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 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