diff --git a/qCheck.ml b/qCheck.ml index 649bae0f..20bb3eb4 100644 --- a/qCheck.ml +++ b/qCheck.ml @@ -91,9 +91,6 @@ module Arbitrary = struct let among l = among_array (Array.of_list l) - let among_tbl k = - failwith "among_tbl: not implemented yet" - let choose l = assert (l <> []); let a = Array.of_list l in diff --git a/qCheck.mli b/qCheck.mli index 3266c8bb..8b0be135 100644 --- a/qCheck.mli +++ b/qCheck.mli @@ -59,10 +59,10 @@ module Arbitrary : sig (** A generator of arbitrary values of type 'a *) val int : int -> int t - (** Any integer *) + (** Any integer between 0 (inclusive) and the given higher bound (exclusive) *) val int_range : start:int -> stop:int -> int t - (* Integer range *) + (* Integer range start .. stop-1 *) val small_int : int t (** Ints lower than 100 *) @@ -109,9 +109,6 @@ module Arbitrary : sig val among_array : 'a array -> 'a t (** Choose in the array *) - val among_tbl : ('k, 'v) Hashtbl.t -> 'v t - (** Choose in the table *) - val choose : 'a t list -> 'a t (** Choice among combinations *)