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 -> boolval mk_equality : Code.exp -> Code.exp -> Code.expval mk_int : int -> Code.expval mk_char : char -> Code.expval mk_string : string -> Code.expval mk_float : float -> Code.expval mk_int32 : int32 -> Code.expval mk_int64 : int64 -> Code.expval mk_nativeint : nativeint -> Code.expval mk_tuple : Code.exp list -> Code.expval mk_list : Code.exp list -> Code.expval mk_generator : string -> Location.t -> Parsetree.generatorval mk_construction : string -> Code.exp list -> Code.expCode.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 listmax_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 listval genr_strings : randomize -> max_length -> Code.exp listval genr_floats : randomize -> max_length -> Code.exp listval genr_int32s : randomize -> max_length -> Code.exp listint32.val genr_int64s : randomize -> max_length -> Code.exp listint64.val genr_nativeints : randomize -> max_length -> Code.exp listnativeint.val genr_units : randomize -> max_length -> Code.exp list