Add optional small parameter to QCheck.{oneof_list,oneof_array} for consistency

Author: jmid

src/core/QCheck.ml

@@ -1865,9 +1865,9 @@ let fun4 o1 o2 o3 o4 ret =
 (* Generator combinators *)
 
 (** given a list, returns generator that picks at random from list *)
-let oneof_list ?print xs = make ?print (Gen.oneof_list xs)
+let oneof_list ?print ?small xs = make ?print ?small (Gen.oneof_list xs)
 let oneofl ?print ?collect xs = make ?print ?collect (Gen.oneof_list xs)
-let oneof_array ?print xs = make ?print (Gen.oneof_array xs)
+let oneof_array ?print ?small xs = make ?print ?small (Gen.oneof_array xs)
 let oneofa ?print ?collect xs = make ?print ?collect (Gen.oneof_array xs)
 
 (** Given a list of generators, returns generator that randomly uses one of the generators

src/core/QCheck.mli

@@ -1769,7 +1769,7 @@ val choose : 'a arbitrary list -> 'a arbitrary
     be empty; if it is [Invalid_argument] is raised.
     @deprecated use {!oneof} instead. *)
 
-val oneof_list : ?print:'a Print.t -> 'a list -> 'a arbitrary
+val oneof_list : ?print:'a Print.t -> ?small:('a -> int) -> 'a list -> 'a arbitrary
 (** Pick an element randomly in the list.
     @since NEXT_RELEASE *)
 
@@ -1778,7 +1778,7 @@ val oneofl : ?print:'a Print.t -> ?collect:('a -> string) ->
 (** Pick an element randomly in the list.
     @deprecated use {!oneof_list} instead. *)
 
-val oneof_array : ?print:'a Print.t -> 'a array -> 'a arbitrary
+val oneof_array : ?print:'a Print.t -> ?small:('a -> int) -> 'a array -> 'a arbitrary
 (** Pick an element randomly in the array.
     @since NEXT_RELEASE *)