sig
  type module_name = string
  and randomize = bool
  and max_length = int
  and nesting_depth = int
  and seed = int
  and num_tests = int
  val is_known_and_listary : Parsetree.generator -> 'a list -> bool
  val is_known_and_listary_name : string -> 'a list -> bool
  val mk_equality : Code.exp -> Code.exp -> Code.exp
  val mk_int : int -> Code.exp
  val mk_char : char -> Code.exp
  val mk_string : string -> Code.exp
  val mk_float : float -> Code.exp
  val mk_int32 : int32 -> Code.exp
  val mk_int64 : int64 -> Code.exp
  val mk_nativeint : nativeint -> Code.exp
  val mk_tuple : Code.exp list -> Code.exp
  val mk_list : Code.exp list -> Code.exp
  val mk_generator : string -> Location.t -> Parsetree.generator
  val mk_construction : string -> Code.exp list -> Code.exp
  val mk_non_listary_construction : string -> Code.exp list -> Code.exp
  val genr_ints :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
  val genr_chars :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
  val genr_strings :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
  val genr_floats :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
  val genr_int32s :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
  val genr_int64s :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
  val genr_nativeints :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
  val genr_units :
    Tgenr_base.randomize -> Tgenr_base.max_length -> Code.exp list
end