sig   type 'a t = Random.State.t -> 'a   type 'a sized = int -> Random.State.t -> 'a   val return : 'a -> 'a QCheck.Gen.t   val ( >>= ) : 'a QCheck.Gen.t -> ('a -> 'b QCheck.Gen.t) -> 'b QCheck.Gen.t   val ( <*> ) : ('a -> 'b) QCheck.Gen.t -> 'a QCheck.Gen.t -> 'b QCheck.Gen.t   val map : ('a -> 'b) -> 'a QCheck.Gen.t -> 'b QCheck.Gen.t   val map2 :     ('a -> 'b -> 'c) -> 'a QCheck.Gen.t -> 'b QCheck.Gen.t -> 'c QCheck.Gen.t   val map3 :     ('a -> 'b -> 'c -> 'd) ->     'a QCheck.Gen.t -> 'b QCheck.Gen.t -> 'c QCheck.Gen.t -> 'd QCheck.Gen.t   val map_keep_input :     ('a -> 'b) -> 'a QCheck.Gen.t -> ('a * 'b) QCheck.Gen.t   val ( >|= ) : 'a QCheck.Gen.t -> ('a -> 'b) -> 'b QCheck.Gen.t   val oneof : 'a QCheck.Gen.t list -> 'a QCheck.Gen.t   val oneofl : 'a list -> 'a QCheck.Gen.t   val oneofa : 'a array -> 'a QCheck.Gen.t   val frequency : (int * 'a QCheck.Gen.t) list -> 'a QCheck.Gen.t   val frequencyl : (int * 'a) list -> 'a QCheck.Gen.t   val frequencya : (int * 'a) array -> 'a QCheck.Gen.t   val shuffle_a : 'a array -> unit QCheck.Gen.t   val shuffle_l : 'a list -> 'a list QCheck.Gen.t   val unit : unit QCheck.Gen.t   val bool : bool QCheck.Gen.t   val float : float QCheck.Gen.t   val pfloat : float QCheck.Gen.t   val nfloat : float QCheck.Gen.t   val nat : int QCheck.Gen.t   val neg_int : int QCheck.Gen.t   val pint : int QCheck.Gen.t   val int : int QCheck.Gen.t   val small_nat : int QCheck.Gen.t   val small_int : int QCheck.Gen.t   val int_bound : int -> int QCheck.Gen.t   val int_range : int -> int -> int QCheck.Gen.t   val ( -- ) : int -> int -> int QCheck.Gen.t   val ui32 : int32 QCheck.Gen.t   val ui64 : int64 QCheck.Gen.t   val list : 'a QCheck.Gen.t -> 'a list QCheck.Gen.t   val list_size : int QCheck.Gen.t -> 'a QCheck.Gen.t -> 'a list QCheck.Gen.t   val list_repeat : int -> 'a QCheck.Gen.t -> 'a list QCheck.Gen.t   val array : 'a QCheck.Gen.t -> 'a array QCheck.Gen.t   val array_size :     int QCheck.Gen.t -> 'a QCheck.Gen.t -> 'a array QCheck.Gen.t   val array_repeat : int -> 'a QCheck.Gen.t -> 'a array QCheck.Gen.t   val opt : 'a QCheck.Gen.t -> 'a option QCheck.Gen.t   val pair : 'a QCheck.Gen.t -> 'b QCheck.Gen.t -> ('a * 'b) QCheck.Gen.t   val triple :     'a QCheck.Gen.t ->     'b QCheck.Gen.t -> 'c QCheck.Gen.t -> ('a * 'b * 'c) QCheck.Gen.t   val quad :     'a QCheck.Gen.t ->     'b QCheck.Gen.t ->     'c QCheck.Gen.t -> 'd QCheck.Gen.t -> ('a * 'b * 'c * 'd) QCheck.Gen.t   val char : char QCheck.Gen.t   val printable : char QCheck.Gen.t   val numeral : char QCheck.Gen.t   val string_size :     ?gen:char QCheck.Gen.t -> int QCheck.Gen.t -> string QCheck.Gen.t   val string : ?gen:char QCheck.Gen.t -> string QCheck.Gen.t   val small_string : ?gen:char QCheck.Gen.t -> string QCheck.Gen.t   val join : 'a QCheck.Gen.t QCheck.Gen.t -> 'a QCheck.Gen.t   val sized : 'a QCheck.Gen.sized -> 'a QCheck.Gen.t   val sized_size : int QCheck.Gen.t -> 'a QCheck.Gen.sized -> 'a QCheck.Gen.t   val fix :     ('a QCheck.Gen.sized -> 'a QCheck.Gen.sized) -> 'a QCheck.Gen.sized   val generate : ?rand:Random.State.t -> n:int -> 'a QCheck.Gen.t -> 'a list   val generate1 : ?rand:Random.State.t -> 'a QCheck.Gen.t -> 'a end