sig
  type 'a gen = unit -> 'a
  val fg : float Quickcheck_deprecated.gen
  val cg : char Quickcheck_deprecated.gen
  val nng : int Quickcheck_deprecated.gen
  val uig : int Quickcheck_deprecated.gen
  val pg :
    'Quickcheck_deprecated.gen ->
    'Quickcheck_deprecated.gen -> ('a * 'b) Quickcheck_deprecated.gen
  val tg :
    'Quickcheck_deprecated.gen ->
    'Quickcheck_deprecated.gen ->
    'Quickcheck_deprecated.gen -> ('a * 'b * 'c) Quickcheck_deprecated.gen
  val lg :
    'Quickcheck_deprecated.gen ->
    ?size_gen:int Quickcheck_deprecated.gen ->
    'a list Quickcheck_deprecated.gen
  val sg :
    ?char_gen:char Quickcheck_deprecated.gen ->
    ?size_gen:int Quickcheck_deprecated.gen ->
    string Quickcheck_deprecated.gen
  val always : '-> 'Quickcheck_deprecated.gen
  val laws : int -> 'Quickcheck_deprecated.gen -> ('-> bool) -> 'a option
  val laws_exn :
    string -> int -> 'Quickcheck_deprecated.gen -> ('-> bool) -> unit
  val repeat : int -> ('-> unit) -> 'Quickcheck_deprecated.gen -> unit
end