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