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