module Tgenr_base:sig
..end
typemodule_name =
string
typerandomize =
bool
typemax_length =
int
typenesting_depth =
int
typeseed =
int
typenum_tests =
int
val is_known_and_listary : Parsetree.generator -> 'a list -> bool
is_known_and_listary g args
returns true when
g
is defined (by the user) to have a single list as argument,args
has more than one element. This is for the purpose of test
generation only, where generators must be treated as listary only if
they are applied to many arguments.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
Code.exp
representing a generator with the
specified name and arguments.val mk_non_listary_construction : string -> Code.exp list -> Code.exp
Treats the generator as non listary, even if it has a single list argument.
val genr_ints : randomize -> max_length -> Code.exp list
max_length
specified number of distinct integer expressions.
If the boolean argument is true, then exressions must be generated randomly,
otherwise they are generated sequentially.val genr_chars : randomize -> max_length -> Code.exp list
val genr_strings : randomize -> max_length -> Code.exp list
val genr_floats : randomize -> max_length -> Code.exp list
val genr_int32s : randomize -> max_length -> Code.exp list
int32
.val genr_int64s : randomize -> max_length -> Code.exp list
int64
.val genr_nativeints : randomize -> max_length -> Code.exp list
nativeint
.val genr_units : randomize -> max_length -> Code.exp list